GitHub topics: constraintprogramming
SmilingWayne/PuzzleSolver
50+ solvers for logical puzzles, with 8k+ datasets, including Sudoku-like puzzles, Slitherlink, Pentomino, Hitori, Shikaku, Heyawake, Mosaic, Tent, Creek, Atari, Suguru, Kakuro, etc. Solved via SCIP, ortools, z3-solver or Gurobi.
Language: Jupyter Notebook - Size: 29.8 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 16 - Forks: 1
holgerbrandl/kortools
A kotlin API around OR Tools
Language: Kotlin - Size: 85.9 KB - Last synced at: 3 months 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
