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: 9 days 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 (almost 2 years ago)
• Default Branch: master
• Last Pushed: 2023-04-06T21:16:11.000Z (almost 2 years ago)
• Last Synced: 2024-12-14T10:44:16.734Z (about 1 month 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.