Forum: regstab-2.0.0-released
Posted by: Vincent Aravantinos - 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 |
Discussion Forums: regstab-2.0.0-released
Monitor Forum | 
Start New Thread
