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

pgbdd

Proof-generated, BDD-based SAT solver

Cloud-BDD

Distributed implementation of BDD package

tbuddy-artifact

Demonstration Version of TBUDDY BDD Library

pgbddq-artifact

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

pgpbs-artifact

Chain-CUDD

Extension of CUDD to support BDD with chain nodes

cpog

Tools for certifying the D4 model counter

linear-domino-game

unsat-tutorial

Exploring the ability of Boolean satisfiability solvers to produce a proof of unsatisfiability

Chain-CUDD-3.0.0

Modification of CUDD 3.0.0 to support chaining of BDDs and ZDDs

arduino-projects

Misc. projects based on arduino infrastructure

iVerilog

Icarus Verilog

mc-benchmarks

mdp-benchmark

mm-run

Run BDD-based SAT solver on matrix multiplication problems

pkc-artifact

Artifact Version of PKC: Projecting Knowledge Compiler

psc-stuff

rebryant

Config files for my GitHub profile.