Also check out z3 library for solving constraint satisfaction problems. Python binding examples (https://ericpony.github.io/z3py-tutorial/guide-examples.htm ht

Also check out z3 library for solving constraint satisfaction problems. Python binding examples (https://ericpony.github.io/z3py-tutorial/guide-examples.htm https://ericpony.github.io/z3py-tutorial/guide-examples.htm) has really cool similar problems and solutions.