tomaszjonak / pbl Goto Github PK
View Code? Open in Web Editor NEWThis project forked from tyler-utah/pbl
A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online here: http://formal.cs.utah.edu:8080/pbl/PBL.php
License: Other