Skip to content

UppSAT Version 0.5

Pre-release
Pre-release
Compare
Choose a tag to compare
@ptrbman ptrbman released this 05 Feb 21:16
· 68 commits to master since this release
v0.5-alpha
0a0a9f2

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.

Assets 3