Matthias Volk a175c16c09 Create missing dir in setup.py 8 years ago
..
stormpy Updated bindings to new api 8 years ago
.gitignore Check if DFT support was built 8 years ago