#

cp-sat

Here are 2 public repositories matching this topic...

pypye / time_tabling_scheduler_core

My Graduate Thesis 2024 - University of Engineering and Technology

sat-solver timetable-generator timetabling itc-2019 cp-sat

Updated May 12, 2024
Java

CapOfCave / variant-sudoku-solver

🔢 A fast and extensible Variant Sudoku Solver Java Library made with Google OR Tools.

sudoku-solver sudoku constraint-programming ortools or-tools cp-sat variant-sudoku

Updated Apr 12, 2022
Java

Improve this page

Add a description, image, and links to the cp-sat topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the cp-sat topic, visit your repo's landing page and select "manage topics."