Skip to content

JavaSMT 3.10.0
Compare
Choose a tag to compare
@kfriedberger kfriedberger released this 27 Aug 21:20
· 2018 commits to master since this release
3.10.0
This tag was signed with the committer’s verified signature.
kfriedberger Karlheinz Friedberger
GPG key ID: 4D6D84D3ACCD6DC1
Learn about vigilant mode.
6f829d7

This release contains several improvement, some new features, several bugfixes and updated libraries.
A new method for loading native libraries is available for developers to use their own loading mechanism.
A new method distinct is available for Bitvector formulas.
The visitation of quantified formulas was improved.

Updated solvers:

  • Princess 2021-08-12
Assets 2
Loading