/smtlib2qdimacs

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

Primary LanguagePythonBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

Watchers