Browse Source

Minor update in project description

refactoring
Matthias Volk 7 years ago
parent
commit
d0534cd066
  1. 3
      setup.py

3
setup.py

@ -215,10 +215,11 @@ setup(
url="http://moves.rwth-aachen.de", url="http://moves.rwth-aachen.de",
description="stormpy - Python Bindings for Storm", description="stormpy - Python Bindings for Storm",
long_description=long_description, long_description=long_description,
long_description_content_type='text/text/markdown',
project_urls={ project_urls={
'Documentation': 'https://moves-rwth.github.io/stormpy/', 'Documentation': 'https://moves-rwth.github.io/stormpy/',
'Source': 'https://github.com/moves-rwth/stormpy/', 'Source': 'https://github.com/moves-rwth/stormpy/',
'Tracker': 'https://github.com/moves-rwth/stormpy/issues',
'Bug reports': 'https://github.com/moves-rwth/stormpy/issues',
}, },
classifiers=[ classifiers=[
'Intended Audience :: Science/Research', 'Intended Audience :: Science/Research',

Loading…
Cancel
Save