PBL

Project information

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

7 Commits
1 Branch
0 Tags

README
BSD 2-Clause with views sentence

Created on

October 18, 2017

Copy SSH clone URLgit@gitlab.flux.utah.edu:mvander/PBL.git
Copy HTTPS clone URLhttps://gitlab.flux.utah.edu/mvander/PBL.git