50+ solvers for logical puzzles with ORtools, SCIP, Z3 and Gurobi, with 8k+ datasets. e.g. Slitherlink, Pentomino, Hitori, Shikaku, Heyawake, Mosaic, Tent, Creek, Atari, Suguru, Kakuro and Sudoku-variants.

A kotlin API around OR Tools

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).