|
|
|
@ -6,7 +6,11 @@ The releases of major and minor versions contain an overview of changes since th |
|
|
|
|
|
|
|
Version 1.1.x |
|
|
|
------------- |
|
|
|
Long run average computation via ValueIteration, LP based MDP model checking, parametric model checking has an own binary |
|
|
|
- long run average computation via value iteration |
|
|
|
- LP based MDP model checking |
|
|
|
- parametric model checking has an own binary |
|
|
|
- solvers can now expose requirements |
|
|
|
- unbounded reachability and reachability rewards now correctly respect solver requirements |
|
|
|
|
|
|
|
### Version 1.1.1 |
|
|
|
- c++ api changes: Building model takes BuilderOptions instead of extended list of Booleans, does not depend on settings anymore. |
|
|
|
|
dehnert
7 years ago