File Release Notes and Changelog
Release Name: 1.4.6
Release Notes
- Fixed a huge soundness bug when the formula is satisfiable - On the other hand, the fix had an impact on efficiency, see manual for new measures
Change Log
- Fixed a huge soundness bug when the formula is satisfiable - On the other hand, the fix had an impact on efficiency, see manual for new measures
