Skip to content
This repository was archived by the owner on Apr 15, 2026. It is now read-only.

v0.4.0

Choose a tag to compare

View all tags
@chrjabs chrjabs released this 01 May 16:34
· 98 commits to main since this release
v0.4.0
7345eb3
This commit was signed with the committer’s verified signature.
chrjabs Christoph Jabs
GPG key ID: 217C6A439646D51E
Verified
Learn about vigilant mode.

Official release to go along with our TACAS'25 paper.

  • Proof logging in VeriPB format, certifying that all non-dominated points were discovered
  • MaxPre preprocessing is now opt-in at compile time
  • Dropped support for objective encodings other than the (generalized) totalizer
Assets 2
Loading