90+ solvers for logic puzzles with ortools, 38k+ datasets for 120+ puzzles, e.g. Nonogram, Slitherlink, Fillomino, Creek, Akari, Yajilin and Sudoku-variants.