~/Solver

Building Constraint Solvers in Python