GitHub topics: constraintprogramming
SmilingWayne/PuzzleSolver
50+ solvers for logical puzzles, with 8000+ datasets, including Sudoku-like puzzles, Slitherlink, Pentomino, Hitori, Shikaku, Heyawake, Mosaic, Tent, Creek, Atari, Suguru, Kakuro, etc. Mainly solved via Solvers like ortools, z3-solver and SCIP.
Language: Jupyter Notebook - Size: 29.5 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 14 - Forks: 1
holgerbrandl/kortools
A kotlin API around OR Tools
Language: Kotlin - Size: 85.9 KB - Last synced at: 25 days ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 1
DiarmuidGrimes/CP_Scheduling-GrimesHebrard15
Code used in 2015 paper "Solving Variants of the Job Shop Scheduling Problem Through Conflict-Directed Search". Code using old version of Mistral solver (https://homepages.laas.fr/ehebrard/mistral.html), and old version of IBM ILOG CP Optimizer (https://www.ibm.com/products/ilog-cplex-optimization-studio/cplex-cp-optimizer).
Language: C++ - Size: 338 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
