Introduce PSEModelExplorer, with some functionality having been delegated from PSEModelBuilder.
Add useful changes from branch 'fau'.
Various fixes.
Fix sampling-based synthesis techniques, make the CTMC model checker aware of constants defined in modules and properties files.
Write down a TODO about a sampling optimisation.
Error when the lower/upper bound specified via CLI is not a double.
Better formulation of an error message.
Add help messages. NB: *-sampling switches renamed to *-sample
Introduce setting specifying the number of iterations for partial examination.
Clean-up PSE-related imports in Prism.java
AbstractMinMaxSynthesis -> OptimisingSynthesis
BoxRegion.{getVolume -> volume}
Comments for PSEModel.
Comments for PSEModelBuilder.
DecompositionProcedure.{initialise -> initialiseModelChecking}
Comments for PSEModelChecker, other minor enhancements.
Comments for BoxRegion.
Many many comments and minor code enhancements.
Reporting of both lower & upper bounds during min/max synthesis.
Reporting of sample points used during sampling-based syntheses.