v0.5.0

blishko released this 12 Mar 17:46

· 77 commits to master since this release

Main changes

Update OpenSMT to v2.6.0
Production of unsatisfiability proofs in Alethe format (--proof-format=alethe)
More aggressive simplifications in preprocessing
Preliminary support for model computation (invariants) in TPA engine for general linear systems
Various small bug fixes and performance improvements.

Contributors

@blishko @BritikovKI @m4mbo

Contributors

blishko, BritikovKI, and m4mbo

Assets 5