Skip to content

Version 5.0.1
Compare
Choose a tag to compare
@smitsch smitsch released this 23 Nov 20:46
· 595 commits to master since this release
5.0.1
This tag was signed with the committer’s verified signature.
LSLabBuild
GPG key ID: 9C461005FDEDB15E
Learn about vigilant mode.
07e4992

Version 5.0.1 provides bug fixes and a tactic to prepare quantifier elimination queries.

  • [Tactics] tactic prepareQE with heuristics for equality rewriting, introducing abbreviations, and forming the universal closure of a sequent
  • [Tactics] tactic rcf to complete a query with an external tool
  • [Tactics] tactic qe combines prepareQE and rcf.
Assets 3
Loading