Markus N. Rabe's repositories
smtlib2qdimacs
A translator from SMTLIB2 to QDIMACS. Restricted to the bitvector theory and still incomplete.
flax
Flax is a neural network ecosystem for JAX that is designed for flexibility.
Language:PythonApache-2.0000
py-aiger-cnf
Code for transforming aiger expression into an equi-satisifabile aiger expression in CNF form.
Language:PythonMIT000
py-aiger-sat-1
Pythonic interface between AIGs and SAT solvers.
Language:PythonMIT000