Popular repositories Loading

1. pgbdd-artifact pgbdd-artifact Public

   Demonstration of BDD-based SAT solver that generates checkable proofs of unsatisfiability. Details provided in paper: R. E. Bryant and M. J. H. Heule, "Generating Extended Resolution Proofs in a BD…

   Python 8

2. pgbdd pgbdd Public

   Proof-generated, BDD-based SAT solver

   Python 7

3. tbuddy-artifact tbuddy-artifact Public

   Demonstration Version of TBUDDY BDD Library

   C 4

4. Cloud-BDD Cloud-BDD Public

   Distributed implementation of BDD package

   Python 3

5. pgbddq-artifact pgbddq-artifact Public

   Demonstration version of BDD-based solver for quantified Boolean formulas (QBF)

   Python 2 1

6. pgpbs-artifact pgpbs-artifact Public

   Python 2