A simple SMT-LIB v2 trace executor.
Primary LanguageSMTOtherNOASSERTION
No issues in this repository yet.