3 results found Sort:
The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver
Created
2022-07-10
489 commits to main branch, last one 8 days ago
EA FC 25 Automated SBC Solving using Integer Programming ⚽
Created
2023-02-12
48 commits to master branch, last one 3 months ago
A webapp that visualizes and annotates your ortools' CP-SAT logs. Partially inspired by gurobi-logtools.
Created
2023-12-18
93 commits to main branch, last one about a month ago