deep-first-search
A modern, open-source Python framework for declarative constraint programming and combinatorial optimization.