File Release Notes and Changelog
Release Name: 1.4.5
Release Notes
Bugfix.
Change Log
- Fixed a bug where some unexpected constraints could lead to unsoundness - Restriction of the input constraints to "positive length" constraints, see manual.
Bugfix.
- Fixed a bug where some unexpected constraints could lead to unsoundness - Restriction of the input constraints to "positive length" constraints, see manual.
