Package examples.jmdp.solvers