OCaml Forge

Forum: regstab-2.0.0-released

Posted by: Vincent Aravantinos
Date: 2012-05-06 15:34
Summary:RegSTAB 2.0.0 released
Project:RegSTAB

- Complete refactoring
- Improved efficiency
- Now able to generate refutations
- 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 the default anymore
- Improved user documentation
- Improved developper documentation
- Translation from schemata to LTL: sch2ltl

Latest News

RegSTAB 2.0.0 released

Vincent Aravantinos - 2012-05-06 15:34 -

RegSTAB 1.4.6 released

Vincent Aravantinos - 2010-11-20 17:31 -

RegSTAB 1.4.4 released

Vincent Aravantinos - 2010-05-19 16:26 -

RegSTAB 1.4.2 released !

Vincent Aravantinos - 2009-12-09 19:26 -

RegSTAB 1.4

Vincent Aravantinos - 2009-09-29 07:41 -

Discussion Forums: regstab-2.0.0-released

Monitor Forum | Start New Thread Start New Thread