/SMTLib2C

A simple tool for translating Skolem functions in SMT-Lib 2.0 to C implementations

Primary LanguageJava

No issues in this repository yet.