Skip to content

v0.4.2
Compare
Choose a tag to compare
@blishko blishko released this 19 May 08:55
· 286 commits to master since this release
v0.4.2
dce803b

This is a simple bugfix release which fixes a problem in printing models where the names of the predicates need to be SMT-LIB-quoted.
Additionally, a new option --version has been added to print the version of the binary.

Assets 4
Loading