- Migrate to CUDD version 3
- Transition reward export (MDP-like models) for explicit engine
- Fix broken transient probability computation
- Updates/fixes in install/launch/testing scripts and build process
- New tests in etc/tests available for easier build tests
- New -javaversion switch to show Java version used
- New --print-failures switch for prism-auto
- Various bugfixes