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 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 (over 1 year ago)
• Default Branch: master
• Last Pushed: 2023-04-06T21:16:11.000Z (over 1 year ago)
• Last Synced: 2024-10-12T17:42:21.073Z (26 days ago)
• Topics: cp-sat, or-tools
• Language: Jupyter Notebook
• Homepage:
• Size: 43 KB
• Stars: 2
• Watchers: 1
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project