Matthias Volk

Better error message for unsupported property in simplification of parametric model

6

When trying to analyze a parametric model with an unsupported formula the simplification throws an `UnexpectedException` [here](https://github.com/moves-rwth/storm/blob/master/src/storm-pars-cli/storm-pars.cpp#L185). It would be better to clearly indicate that the given formula is not...

Update the [CPack configuration](https://github.com/moves-rwth/storm/blob/master/StormCPackConfig.cmake) to allow building and distributing binaries of Storm. This could significantly increase user-friendliness and ease-of-installation.

CI job with minimal dependencies

1

Added CI job with minimal dependencies based on the Docker image `storm-basesystem:minimal_dependencies`: - without Z3 (as suggested in https://github.com/moves-rwth/storm/issues/282) - without Eigen - without xerces - without CLN and GiNaC...

Most libraries have an argument `STORM_USE_X` (Gurobi, Soplex), but some (Spot, MathSat) use slightly different arguments. We should should use the standard format for them as well.

Automatic formatting via black + CI support

2

- Use [black](https://black.readthedocs.io/) for automatic Python code formatting. After installing the black package, code can be formatted using `black .` - CI support for checking and applying code formatting, similar...

need to be merged after https://github.com/moves-rwth/storm/pull/582

When Eigen is rebuilt (for example through changing `CMakeLists.txt`) the patch step through `git apply` fails because the patch was already applied before. Workaround: remove the directory `build/resources/3rdparty/StormEigen-3.4.1alpha/`.

Fixes https://github.com/moves-rwth/stormpy/issues/210 Add general functions `get_value` and `get_values_states` which are type-independent and internally call the right Storm function.