Main changes
- Update OpenSMT to 2.7.0
- Add PDKIND engine (@stepanhen)
- Add simple prototype engine for Predicate Abstraction
Various improvements
- Improve performance of Alethe proof generation
- Improve performance of BMC engine on general linear system (now uses dedicated algorithm instead of transformation to transition system
- Improve performance of IMC engine
- Printing negative numbers in models is now SMT-LIB2 compliant
- Input outside of Horn fragment is gracefully rejected
Contributors
stepanhen