From f27b2e4a1eb60b71f73c2111be02bd12f8d3f31b Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Sat, 21 Jan 2017 18:18:03 +0100 Subject: [PATCH] contributors --- doc/source/contributors.rst | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 doc/source/contributors.rst diff --git a/doc/source/contributors.rst b/doc/source/contributors.rst new file mode 100644 index 0000000..619e8fe --- /dev/null +++ b/doc/source/contributors.rst @@ -0,0 +1,19 @@ +************** +Contributors +************** + +Stormpy is an extension to storm. As a consequence, developers of storm contributed significantly to the functionality offered by these Python bindings. + +The bindings themselves have been developed by (lexicographically ordered): + * Sebastian Junges + * Matthias Volk + +and received significant contributions by (lexicographically ordered): + * Tom Janson + +We would like to thank Harold Bruintjes for the initial development of the pycarl bindings. + +Furthermore, the following list of people helped us to develop stormpy (in chronological order): + * Nils Jansen (early adoption, feedback) + * Murat Cubuktepe (early adoption, feedback) +