2 repositories on SrcLog
Add it to a GitHub README or profile β the card updates as the ranking changes:
The CP-SAT Primer: Using and Understanding Google OR-Tools' CP-SAT Solver
A webapp that visualizes and annotates your ortools' CP-SAT logs. Partially inspired by gurobi-logtools.