OCaml Forge

File Release Notes and Changelog

Release Name: 1.4.7

Change Log

- Added the feature that a model is printed when the schema is satisfiable
- Added command-line option to not print this model
- Added command-line option to exclude some variables when printing a model
- Removed the negation normal form restriction on the input: every formula can
  now be negated (but it will be internally translated to n.n.f.)