Skip to content

GitLab

Explore

Sign in
Register

P

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

Loading