d-krupke/cpsat-primer
The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver
Jupyter NotebookCC-BY-4.0
Issues
- 0
Update for CP-SAT ~~9.9~~ 9.10
#25 opened by d-krupke - 0
Develop a utility package accommodating this primer
#26 opened by d-krupke - 1
Some questions
#4 opened by rlacjfjin - 3
- 1
Write a section onto how to benchmark models
#13 opened by d-krupke - 1
- 4
Error in a formula, and a few typos
#18 opened by m-bouville - 1
- 1
- 2
subsolvers for BoolVar
#6 opened by earlylinzi - 1
Extend the AddCircuitConstraint-section
#11 opened by d-krupke - 1
Broken Inline LaTeX
#1 opened by klmentzer