Questions tagged [cp-sat]
The cp-sat tag has no usage guidance.
3
questions with no upvoted or accepted answers
3
votes
0
answers
165
views
Can Pyomo be linked with Google's GLOP or CP-SAT solvers?
Pyomo can be linked with several solvers Open source and commercial ones.
I was wondering if Pyomo can be linked with Google's GLOP or CP-SAT solvers?
- 1,235
3
votes
0
answers
416
views
Circuit constraints in ortools
I am looking to assign tasks to people. Each successive task should be started after the first one is finished and should be started at the same location as the preceding task. While the time ...
-1
votes
1
answer
157
views
[OR-Tools][CP-SAT] Implement an indicator function in a constraint
Good morning ! I would like to implement this constraint using CP-SAT (see image below).
x_i,j is a boolean variable, a and b are given. The problem is that I don't know how to implement the ...
