/cp-sat-fun

Experimenting with the CP-SAT solver

Primary LanguageJupyter Notebook

Stargazers