The showtime grid, solved. A constraint solver for the cinema week: every screen, every session, every distributor term, and the turnaround between them.
Turn a deterministic optimization model (PuLP, Pyomo, gurobipy, OR-Tools) into a verified two-stage stochastic program, and find out whether it is worth it.
100+ solvers for logic puzzles with ortools, 41k+ datasets for 130+ puzzles, e.g. Nonogram, Slitherlink, Fillomino, Creek, Akari, Yajilin and Sudoku-variants.
