OCaml Forge

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