OCaml Forge

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.