python (12.9k questions)

javascript (9.2k questions)

reactjs (4.7k questions)

java (4.2k questions)

java (4.2k questions)

c# (3.5k questions)

c# (3.5k questions)

html (3.3k questions)

Questions - or-tools

Find the right Google OR-Tools algorithm

I have to find the set of integers that minimize this objective function: The costraints are: every x must be a non-negative integer T, A and B are double known numbers. I have been looking at the...
test-img

AathakA

c++

or-tools

cp-sat-solver

Votes: 0

Answers: 1

Latest Answer

It will fit in the CP-SAT solver. You will need to scale floating point coefficients to integers. The objective function accepts floating point coefficients. But (x1 + A1)^2 will propagate better if y...
test-img

Laurent Perron

Convert OR Tools IntervalVars into Binary List

Good Morning, I'm trying to find a way to convert IntervalVars into a List of BooleanVars with or tools in order to use the binary list as a sort of field in which the booleans indicate where the Inte...
test-img

m_c_frank

python

or-tools

cp-sat-solver

Votes: 0

Answers: 0

Cannot install Google OR-Tools due to missing dotnet-test_dotnet

I want to use the library OR-Tools of Google for mathematical optimization. For this I followed the installation instructions here. In the end, it says to run tools\make test_dotnet on a x64 Native To...
test-img

Matthias Heinlein

c#

.net-core

or-tools

dotnet-cli

Votes: 0

Answers: 1

Latest Answer

The issue here, is our Makefile didn't detect your dotnet installation. so DOTNET_BIN is undefined and thus you pass in the code path having the error message... ref: # Check for required build tools ...
test-img

Mizux

How to set number of threads in OR-Tools proto interface?

We are using the Java MP proto interface in order to have access to indicator constraints. The solve phase of our problems typically take several hours to run given the high number of binary variables...
test-img

epol

java

or-tools

Votes: 0

Answers: 1

Latest Answer

SCIP parallelism is broken and disabled. It brings very little speedup in general anyway. If your problem is integral only, you can use the CP-SAT backend. It will benefit from 8+ more threads.
test-img

Laurent Perron

Posts

Questions

Blogs

Jobs