CP-SAT fun

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.

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
__pycache__		__pycache__
README.md		README.md
create_boolean.ipynb		create_boolean.ipynb
decimal_numbers.ipynb		decimal_numbers.ipynb
main.ipynb		main.ipynb
multiplications.ipynb		multiplications.ipynb
nonlinear_functions.ipynb		nonlinear_functions.ipynb
polynoms.ipynb		polynoms.ipynb
utils.py		utils.py

Provide feedback