stormpy
stormpy copied to clipboard
Continuous integration for anaconda
Anaconda is a rather typical Python distribution. We have supported this version but I have no clue whether we are still supporting this.
At some point, it would be great to add this to CI.