Skip to content

Version 1.4.4
Compare
Choose a tag to compare
@damiendoligez damiendoligez released this 11 Feb 13:20
v1.4.4
9ff004b

This release switches the default SMT back-end to Z3 and fixes a few bugs.

Important note: do not use this release, use 1.4.5 instead.

Assets 5
Loading