3 results found Sort:

39
417
cc-by-4.0
15
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