·
834 commits
to master
since this release
5.0.1
kfriedberger
Karlheinz Friedberger
This tag was signed with the committer’s verified signature.
kfriedberger
Karlheinz Friedberger
67d40c8
This commit was signed with the committer’s verified signature.
kfriedberger
Karlheinz Friedberger
JavaSMT 5.0.1
This patch release improves documentation and brings smaller improvements for CVC5.
What's Changed
- #389: add ConfigurationOption to give CVC5 some options directly. by @kfriedberger in #390
Full Changelog: 5.0.0...5.0.1
Contributors
kfriedberger