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 and Gurobi.

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