Releases: uuverifiers/uppsat
Releases · uuverifiers/uppsat
UppSAT Version 0.5
First release of UppSAT! Version 0.5 contains three built-in approximation (reduced floating-point, fixed point and real) and supports two backends (Z3 and MathSAT). For installation instructions, see https://github.com/uuverifiers/uppsat.