OCaml Forge

File Release Notes and Changelog

Release Name: 2.0.0

Change Log

- Complete refactoring
- Improved efficiency
- Now able to generate the refutation in xml
- UTF8 output
- A few more examples
- Various new command-line options:
  * use inclusion instead of equality for cycle detection
  * display the lemmas that are actually used in the deduction
  * possibility to annotate files so as to indicate if the expected result is SAT or UNSAT
  * display options: UTF8 or ASCII, display the body of iterations or not for more conciseness
  * printing the model in case of satisfiability is not eh default anymore
- Improved user documentation
- Improved developper documentation
- Translation from schemata to LTL: sch2ltl