package mlsolver

v1.5

• Change from OASIS to DUNE
• Change from OCAML 4 to OCAML 5

v1.4

Feb 24 2012 Oliver Friedmann

• Added CTL+ procedure
• Various minor improvements
• Various minor fixes

Jun 14 2010 Oliver Friedmann

• Removed automatic sorting of formula (see branching-width optimization)
• Added parameters: -opt prefersmall and -opt preferlarge for sorting formulas

Apr 12 2010 Oliver Friedmann

• Branching-width of CTL* and CTL games now linearly bounded in the size of the formula

Jan 17 2010 Oliver Friedmann

• Added Model Checker for CTL
• Added Validity Checker for CTL
• Added Dining Philosophers Benchmark
• Several Bugs Fixed
• Enabled Local Solving Capabilities