Experimentations and hacks using the OR Tools CP-SAT solver, AKA misusing the CP-SAT solver for mischevious fun.
This repo is a series of personal references guides and useful functions to bend CP-SAT into doing what it isn't supposed to do.
Experimenting with the CP-SAT solver
Experimentations and hacks using the OR Tools CP-SAT solver, AKA misusing the CP-SAT solver for mischevious fun.
This repo is a series of personal references guides and useful functions to bend CP-SAT into doing what it isn't supposed to do.