https://github.com/enthought/sat-solver https://pypi.org/project/simplesat/
