Pinned Repositories
Chain-CUDD
Extension of CUDD to support BDD with chain nodes
Cloud-BDD
Distributed implementation of BDD package
cpog
Tools for certifying the D4 model counter
linear-domino-game
pgbdd
Proof-generated, BDD-based SAT solver
pgbdd-artifact
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 BDD-based SAT Solver," TACAS 2021
pgbddq-artifact
Demonstration version of BDD-based solver for quantified Boolean formulas (QBF)
pgpbs-artifact
tbuddy-artifact
Demonstration Version of TBUDDY BDD Library
unsat-tutorial
Exploring the ability of Boolean satisfiability solvers to produce a proof of unsatisfiability
rebryant's Repositories
rebryant/pgbdd-artifact
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 BDD-based SAT Solver," TACAS 2021
rebryant/pgbdd
Proof-generated, BDD-based SAT solver
rebryant/Cloud-BDD
Distributed implementation of BDD package
rebryant/tbuddy-artifact
Demonstration Version of TBUDDY BDD Library
rebryant/cpog
Tools for certifying the D4 model counter
rebryant/pgbddq-artifact
Demonstration version of BDD-based solver for quantified Boolean formulas (QBF)
rebryant/pgpbs-artifact
rebryant/Chain-CUDD
Extension of CUDD to support BDD with chain nodes
rebryant/linear-domino-game
rebryant/unsat-tutorial
Exploring the ability of Boolean satisfiability solvers to produce a proof of unsatisfiability
rebryant/Chain-CUDD-3.0.0
Modification of CUDD 3.0.0 to support chaining of BDDs and ZDDs
rebryant/arduino-projects
Misc. projects based on arduino infrastructure
rebryant/bloqqer
Github copy of bloqqer. Downloaded 2024 from https://fmv.jku.at/bloqqer/
rebryant/iVerilog
Icarus Verilog
rebryant/mc-benchmarks
rebryant/mdp-benchmark
rebryant/mm-run
Run BDD-based SAT solver on matrix multiplication problems
rebryant/pkc-artifact
Artifact Version of PKC: Projecting Knowledge Compiler
rebryant/psc-stuff
rebryant/rebryant
Config files for my GitHub profile.