Version 4.7.1 of The Z3 Theorem Prover, modified for use in an assignment
Primary LanguageC++OtherNOASSERTION