MarkusRabe
Researcher at Google, previously worked at UC Berkeley and Saarland University.
University of California, BerkeleyBerkeley, CA, USA
Pinned Repositories
cadet
A fast and certifying solver for quantified Boolean formulas.
flax
Flax is a neural network ecosystem for JAX that is designed for flexibility.
lightbot
Encoding of the lightbot scenario
py-AIGAR
py-aiger
py-aiger-bv
py-aiger-cnf
Code for transforming aiger expression into an equi-satisifabile aiger expression in CNF form.
qbf_formulas_for_rl
smtlib2qdimacs
A translator from SMTLIB2 to QDIMACS. Restricted to the bitvector theory and still incomplete.
synthetic_qbf_formulas
MarkusRabe's Repositories
MarkusRabe/cadet
A fast and certifying solver for quantified Boolean formulas.
MarkusRabe/smtlib2qdimacs
A translator from SMTLIB2 to QDIMACS. Restricted to the bitvector theory and still incomplete.
MarkusRabe/synthetic_qbf_formulas
MarkusRabe/py-aiger
MarkusRabe/qbf_formulas_for_rl
MarkusRabe/flax
Flax is a neural network ecosystem for JAX that is designed for flexibility.
MarkusRabe/lightbot
Encoding of the lightbot scenario
MarkusRabe/py-AIGAR
MarkusRabe/py-aiger-bv
MarkusRabe/py-aiger-cnf
Code for transforming aiger expression into an equi-satisifabile aiger expression in CNF form.
MarkusRabe/py-aiger-sat
MarkusRabe/py-aiger-sat-1
Pythonic interface between AIGs and SAT solvers.