You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

13 lines
295 B

8 years ago
  1. Stormpy - Python bindings for Storm
  2. =======================================
  3. Stormpy contains python bindings for [storm](https://github.com/moves-rwth/storm/)
  4. ### Dependencies
  5. Stormpy depends on [pycarl](https://github.com/moves-rwth/pycarl/)
  6. ### Authors
  7. - Matthias Volk
  8. - Sebastian Junges