·
32 commits
to master
since this release
New release after a bit more than one year. Changes include:
- The theory solver for rationals has been reimplemented.
- A second implementation of the theory of heaps was added.
- Support for an SMT-LIB theory of sets was added, mostly following the cvc5 syntax.
- Many bugfixes.