Translators
The translators were written using the Scheme programming language,
and compiled with the Bigloo compiler.
The translators only support uninterpreted function symbols and arithmetic.
- MATH-SAT to ICS, UCLID, CVC, SVC, Simplify
- CVC to ICS, UCLID, SVC, Simplify
- SVC to ICS, CVC, UCLID
- SEP to ICS, UCLID, CVC
The linux binaries are located here.
Back to the main page
Last modified: Sat Jan 24 19:00:02 PST 2004
by Leonardo de Moura