https://github.com/oulianov/cp-sat-fun
Experimenting with the CP-SAT solver
https://github.com/oulianov/cp-sat-fun
cp-sat or-tools
Last synced: 12 months ago
JSON representation
Experimenting with the CP-SAT solver
- Host: GitHub
- URL: https://github.com/oulianov/cp-sat-fun
- Owner: oulianov
- Created: 2023-02-11T16:14:15.000Z (over 3 years ago)
- Default Branch: master
- Last Pushed: 2023-04-06T21:16:11.000Z (over 3 years ago)
- Last Synced: 2025-01-11T02:39:17.532Z (over 1 year ago)
- Topics: cp-sat, or-tools
- Language: Jupyter Notebook
- Homepage:
- Size: 43 KB
- Stars: 2
- Watchers: 1
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# CP-SAT fun
Experimentations and hacks using the [OR Tools CP-SAT solver](https://developers.google.com/optimization/cp/cp_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.