Questions about cp-sat-solver
Read more about cp-sat-solver
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)
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...
AathakA
Votes: 0
Answers: 1
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...
m_c_frank
Votes: 0
Answers: 0
Google OR tools: how to evaluate complex or multi-level boolean constraints
Set up
I am using the google OR tools as a constraint programming solver:
from ortools.sat.python import cp_model
I have defined the following BoolVars
model = cp_model.CpModel()
a = model.NewBoolVar...
ThaNoob
Votes: 0
Answers: 1
Constraint optimization in python with OR Tools: How to enforce a multi level constraint?
I have an optimization problem where I have a list of lists of "BoolVar" objects. So something like this:
[[BoolVar1,BoolVar2],[BoolVar3, BoolVar4],[BoolVar5,BoolVar6]]
I need to evaluate t...
ThaNoob
Votes: 0
Answers: 1