You can clone with
HTTPS or Subversion.
Add missing bits of the SMTLib2 translator
- Uninterpreted functions
- User given axioms
- Arrays (with constant initializers only for the time being)
- lookup tables (implemented as uninterpreted functions)
Hasn't been tested much, but seems to generate reasonable code for the time being.