- OCAML 3.12 REQUIRED
- 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
