WebSafe 3.7github.com
|
|
🏠
Skip to content
View rebryant's full-sized avatar
29 followers · 0 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report rebryant

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
rebryant/README.md

Model Counting Benchmarks. Mostly taken from model counting competitions

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 10

  2. pgbdd pgbdd Public

    Proof-generated, BDD-based SAT solver

    Python 8

  3. tbuddy-artifact tbuddy-artifact Public

    Demonstration Version of TBUDDY BDD Library

    C 5

  4. Cloud-BDD Cloud-BDD Public

    Distributed implementation of BDD package

    Python 4

  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