A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language