v0.2.3.1March 10, 2015
v0.2.3.0March 05, 2015
Added support for theory of Arrays
➕ Added support for theory of Bitvectors -- see
➕ Added support for string literals
- Pre-compiled binaries of the underlying ocaml solver are now provided for Linux, Mac OSX, and Windows.
No more need to install Ocaml!
Parsing has been improved to require much fewer parentheses.
👍 Experimental support for Z3's theory of real numbers with the