MarkusRabe

Markus N. Rabe's repositories

A fast and certifying solver for quantified Boolean formulas.

Language:CNOASSERTION24 2 8

A translator from SMTLIB2 to QDIMACS. Restricted to the bitvector theory and still incomplete.

Language:PythonBSD-3-Clause4 10

Language:Python2 20

Language:PythonMIT1 10

Flax is a neural network ecosystem for JAX that is designed for flexibility.

Language:PythonApache-2.0000

Encoding of the lightbot scenario

MIT010

Language:PythonMIT010

Language:PythonMIT010

Code for transforming aiger expression into an equi-satisifabile aiger expression in CNF form.

Language:PythonMIT000

Language:PythonMIT010

Pythonic interface between AIGs and SAT solvers.

Language:PythonMIT000