Optimization solvers in pure Python: LP, MILP, SAT, constraint programming, graph and metaheuristics. No dependencies. Solvor all your optimization needs.
A simple and hackable exact cover solver inspired by Donald Knuth's Fascicle 5
