Simple JIT evaluator for a subset of SMT-LIB
Primary LanguageSMTMIT LicenseMIT
No issues in this repository yet.