stormpy
stormpy copied to clipboard
Published
20 hours ago •
moves-rwth
moves-rwth
How can one implement stormpy in a standalone python application?
Hi! I'm new to Stormpy. I've once issued a problem here regarding installation using docker. I'm trying to build a cloud auto-scaling software in python for educational purpose but i don't know how I can implement stormpy in my application? I am using Windows operating system and have try to install it but it kept popping up this error. I'm installing it using pip install strompy in my command prompt.
ERROR: Command errored out with exit status 1:
command: 'c:\program files\python37\python.exe' -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'C:\\Users\\ADMINI~1\\AppData\\Local\\Temp\\2\\pip-install-3gh_u8xk\\stormpy_61a3a243e40e4e0090a56422b2dfb6e4\\setup.py'"'"'; __file__='"'"'C:\\Users\\ADMINI~1\\AppData\\Local\\Temp\\2\\pip-install-3gh_u8xk\\stormpy_61a3a243e40e4e0090a56422b2dfb6e4\\setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(__file__) if os.path.exists(__file__) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' bdist_wheel -d 'C:\Users\ADMINI~1\AppData\Local\Temp\2\pip-wheel-z4r5q0c_'
cwd: C:\Users\ADMINI~1\AppData\Local\Temp\2\pip-install-3gh_u8xk\stormpy_61a3a243e40e4e0090a56422b2dfb6e4\
Complete output (261 lines):
running bdist_wheel
running build
running build_py
creating build
creating build\lib.win-amd64-3.7
creating build\lib.win-amd64-3.7\stormpy
copying lib\stormpy\_version.py -> build\lib.win-amd64-3.7\stormpy
copying lib\stormpy\__init__.py -> build\lib.win-amd64-3.7\stormpy
creating build\lib.win-amd64-3.7\stormpy\dft
copying lib\stormpy\dft\__init__.py -> build\lib.win-amd64-3.7\stormpy\dft
creating build\lib.win-amd64-3.7\stormpy\examples
copying lib\stormpy\examples\files.py -> build\lib.win-amd64-3.7\stormpy\examples
copying lib\stormpy\examples\__init__.py -> build\lib.win-amd64-3.7\stormpy\examples
creating build\lib.win-amd64-3.7\stormpy\exceptions
copying lib\stormpy\exceptions\__init__.py -> build\lib.win-amd64-3.7\stormpy\exceptions
creating build\lib.win-amd64-3.7\stormpy\info
copying lib\stormpy\info\__init__.py -> build\lib.win-amd64-3.7\stormpy\info
creating build\lib.win-amd64-3.7\stormpy\logic
copying lib\stormpy\logic\__init__.py -> build\lib.win-amd64-3.7\stormpy\logic
creating build\lib.win-amd64-3.7\stormpy\pars
copying lib\stormpy\pars\__init__.py -> build\lib.win-amd64-3.7\stormpy\pars
creating build\lib.win-amd64-3.7\stormpy\storage
copying lib\stormpy\storage\__init__.py -> build\lib.win-amd64-3.7\stormpy\storage
creating build\lib.win-amd64-3.7\stormpy\utility
copying lib\stormpy\utility\__init__.py -> build\lib.win-amd64-3.7\stormpy\utility
running egg_info
writing lib\stormpy.egg-info\PKG-INFO
writing dependency_links to lib\stormpy.egg-info\dependency_links.txt
writing requirements to lib\stormpy.egg-info\requires.txt
writing top-level names to lib\stormpy.egg-info\top_level.txt
reading manifest file 'lib\stormpy.egg-info\SOURCES.txt'
reading manifest template 'MANIFEST.in'
warning: manifest_maker: MANIFEST.in, line 2: path 'setup/' cannot end with '/'
warning: manifest_maker: MANIFEST.in, line 3: path 'cmake/' cannot end with '/'
warning: manifest_maker: MANIFEST.in, line 4: path 'src/' cannot end with '/'
warning: manifest_maker: MANIFEST.in, line 5: path 'resources/' cannot end with '/'
warning: manifest_maker: MANIFEST.in, line 6: path 'lib/stormpy/examples/files/' cannot end with '/'
writing manifest file 'lib\stormpy.egg-info\SOURCES.txt'
creating build\lib.win-amd64-3.7\stormpy\examples\files
creating build\lib.win-amd64-3.7\stormpy\examples\files\ctmc
copying lib\stormpy\examples\files\ctmc\cluster2.sm -> build\lib.win-amd64-3.7\stormpy\examples\files\ctmc
copying lib\stormpy\examples\files\ctmc\dft.drn -> build\lib.win-amd64-3.7\stormpy\examples\files\ctmc
copying lib\stormpy\examples\files\ctmc\embedded2.sm -> build\lib.win-amd64-3.7\stormpy\examples\files\ctmc
copying lib\stormpy\examples\files\ctmc\fms2.sm -> build\lib.win-amd64-3.7\stormpy\examples\files\ctmc
copying lib\stormpy\examples\files\ctmc\polling2.sm -> build\lib.win-amd64-3.7\stormpy\examples\files\ctmc
copying lib\stormpy\examples\files\ctmc\tandem5.sm -> build\lib.win-amd64-3.7\stormpy\examples\files\ctmc
creating build\lib.win-amd64-3.7\stormpy\examples\files\dft
copying lib\stormpy\examples\files\dft\and.json -> build\lib.win-amd64-3.7\stormpy\examples\files\dft
copying lib\stormpy\examples\files\dft\hecs.dft -> build\lib.win-amd64-3.7\stormpy\examples\files\dft
creating build\lib.win-amd64-3.7\stormpy\examples\files\dtmc
copying lib\stormpy\examples\files\dtmc\brp-16-2.pm -> build\lib.win-amd64-3.7\stormpy\examples\files\dtmc
copying lib\stormpy\examples\files\dtmc\brp.jani -> build\lib.win-amd64-3.7\stormpy\examples\files\dtmc
copying lib\stormpy\examples\files\dtmc\crowds-5-5.pm -> build\lib.win-amd64-3.7\stormpy\examples\files\dtmc
copying lib\stormpy\examples\files\dtmc\crowds5_5.pm -> build\lib.win-amd64-3.7\stormpy\examples\files\dtmc
copying lib\stormpy\examples\files\dtmc\die.jani -> build\lib.win-amd64-3.7\stormpy\examples\files\dtmc
copying lib\stormpy\examples\files\dtmc\die.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\dtmc
copying lib\stormpy\examples\files\dtmc\die.pm -> build\lib.win-amd64-3.7\stormpy\examples\files\dtmc
copying lib\stormpy\examples\files\dtmc\die.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\dtmc
copying lib\stormpy\examples\files\dtmc\leader-3-5.pm -> build\lib.win-amd64-3.7\stormpy\examples\files\dtmc
copying lib\stormpy\examples\files\dtmc\leader3_5.pm -> build\lib.win-amd64-3.7\stormpy\examples\files\dtmc
copying lib\stormpy\examples\files\dtmc\nand-5-2.pm -> build\lib.win-amd64-3.7\stormpy\examples\files\dtmc
copying lib\stormpy\examples\files\dtmc\test_conditional.pm -> build\lib.win-amd64-3.7\stormpy\examples\files\dtmc
creating build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\autoParser.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\crowds5_5.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\declarationMisspell.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\die.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\doubledLines.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\doubledLinesSkipped.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\dtmc_actionTest.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\dtmc_general.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\dtmc_mismatched.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\endMisspell.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\labelForNonexistentState.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\leader4.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\leader4_8.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\ma_cslFilterTest.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\ma_general.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\ma_mismatched.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\mdp_general.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\mdp_mismatched.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\noDeclarationTag.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\noEndTag.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\noLabelsDecNoneGiven.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\pctl_general.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\swappedStateAndProposition.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\tiny1.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\tiny2.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\two_dice.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\undeclaredLabelsGiven.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\withWhitespaces.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
copying lib\stormpy\examples\files\lab\withoutWhitespaces.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\lab
creating build\lib.win-amd64-3.7\stormpy\examples\files\ma
copying lib\stormpy\examples\files\ma\hybrid_states.ma -> build\lib.win-amd64-3.7\stormpy\examples\files\ma
copying lib\stormpy\examples\files\ma\simple.ma -> build\lib.win-amd64-3.7\stormpy\examples\files\ma
copying lib\stormpy\examples\files\ma\stream2.ma -> build\lib.win-amd64-3.7\stormpy\examples\files\ma
creating build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\SmallPrismTest.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\SmallPrismTest2.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\coin2-2-illegalSynchronizingWrite.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\coin2-2.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\coin2.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\csma2-2.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\csma2_2.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\die_c1.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\die_selection.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\firewire.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\firewire3-0.5.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\leader3.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\leader4.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\maze_2.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\multiobjective1.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\multiobjective2.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\scheduler_generation.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\system_composition.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\system_composition2.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\tiny_rewards.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\two_dice.lab -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\two_dice.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\two_dice.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\wlan0-2-2.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
copying lib\stormpy\examples\files\mdp\wlan0_collide.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\mdp
creating build\lib.win-amd64-3.7\stormpy\examples\files\pdtmc
copying lib\stormpy\examples\files\pdtmc\brp16_2.pm -> build\lib.win-amd64-3.7\stormpy\examples\files\pdtmc
copying lib\stormpy\examples\files\pdtmc\brp_rewards16_2.pm -> build\lib.win-amd64-3.7\stormpy\examples\files\pdtmc
copying lib\stormpy\examples\files\pdtmc\crowds3_5.pm -> build\lib.win-amd64-3.7\stormpy\examples\files\pdtmc
copying lib\stormpy\examples\files\pdtmc\die.drn -> build\lib.win-amd64-3.7\stormpy\examples\files\pdtmc
copying lib\stormpy\examples\files\pdtmc\parametric_die.pm -> build\lib.win-amd64-3.7\stormpy\examples\files\pdtmc
creating build\lib.win-amd64-3.7\stormpy\examples\files\pmdp
copying lib\stormpy\examples\files\pmdp\coin2_2.pm -> build\lib.win-amd64-3.7\stormpy\examples\files\pmdp
copying lib\stormpy\examples\files\pmdp\two_dice.nm -> build\lib.win-amd64-3.7\stormpy\examples\files\pmdp
creating build\lib.win-amd64-3.7\stormpy\examples\files\pomdp
copying lib\stormpy\examples\files\pomdp\maze_2.prism -> build\lib.win-amd64-3.7\stormpy\examples\files\pomdp
creating build\lib.win-amd64-3.7\stormpy\examples\files\prctl
copying lib\stormpy\examples\files\prctl\apOnly.prctl -> build\lib.win-amd64-3.7\stormpy\examples\files\prctl
copying lib\stormpy\examples\files\prctl\complexFormula.prctl -> build\lib.win-amd64-3.7\stormpy\examples\files\prctl
copying lib\stormpy\examples\files\prctl\probabilisticFormula.prctl -> build\lib.win-amd64-3.7\stormpy\examples\files\prctl
copying lib\stormpy\examples\files\prctl\probabilisticNoBoundFormula.prctl -> build\lib.win-amd64-3.7\stormpy\examples\files\prctl
copying lib\stormpy\examples\files\prctl\propositionalFormula.prctl -> build\lib.win-amd64-3.7\stormpy\examples\files\prctl
copying lib\stormpy\examples\files\prctl\rewardFormula.prctl -> build\lib.win-amd64-3.7\stormpy\examples\files\prctl
copying lib\stormpy\examples\files\prctl\rewardNoBoundFormula.prctl -> build\lib.win-amd64-3.7\stormpy\examples\files\prctl
copying lib\stormpy\examples\files\prctl\two_dice.prctl -> build\lib.win-amd64-3.7\stormpy\examples\files\prctl
creating build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\autoParser.state.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\die.coin_flips.trans.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\dtmc_general.state.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\dtmc_general.trans.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\dtmc_mismatched.trans.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\dtmc_mixedStateOrder.trans.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\dtmc_mixedTransitionOrder.trans.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\dtmc_rewardForNonExTrans.trans.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\dtmc_whitespaces.trans.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\leader4.trans.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\leader4_8.pick.trans.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\ma_general.state.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\ma_mismatched.state.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\mdp_general.state.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\mdp_general.trans.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\mdp_mismatched.trans.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\mdp_mixedStateOrder.trans.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\mdp_mixedTransitionOrder.trans.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\mdp_rewardForNonExTrans.trans.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\mdp_whitespaces.trans.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\state_reward_parser_basic.state.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\state_reward_parser_doubledLines.state.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\state_reward_parser_doubledLinesSkipped.state.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\state_reward_parser_whitespaces.state.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\two_dice.flip.state.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
copying lib\stormpy\examples\files\rew\two_dice.flip.trans.rew -> build\lib.win-amd64-3.7\stormpy\examples\files\rew
creating build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\crowds5_5.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\csl_general.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\ctmc.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\ctmdp.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\die.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\dtmc.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\dtmcWhitespaces1.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\dtmcWhitespaces2.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\dtmc_actionTest.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\dtmc_deadlock.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\dtmc_doubledLines.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\dtmc_general.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\dtmc_mismatched.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\dtmc_mixedStateOrder.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\dtmc_mixedTransitionOrder.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\dtmc_whitespaces.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\leader4.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\leader4_8.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\ma.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\ma_cslFilterTest.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\ma_deadlock.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\ma_general.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\ma_whitespaces.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\mdp.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\mdp_deadlock.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\mdp_doubledLines.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\mdp_general.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\mdp_mismatched.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\mdp_mixedStateOrder.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\mdp_mixedTransitionOrder.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\mdp_whitespaces.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\noHint.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\pctl_general.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\readme.txt -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\tiny1.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\tiny2.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\two_dice.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\wrongHint.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\wrong_format_header1.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\wrong_format_header2.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
copying lib\stormpy\examples\files\tra\wrong_format_transition.tra -> build\lib.win-amd64-3.7\stormpy\examples\files\tra
creating build\lib.win-amd64-3.7\stormpy\examples\files\txt
copying lib\stormpy\examples\files\txt\testStringFile.txt -> build\lib.win-amd64-3.7\stormpy\examples\files\txt
running build_ext
Traceback (most recent call last):
File "C:\Users\ADMINI~1\AppData\Local\Temp\2\pip-install-3gh_u8xk\stormpy_61a3a243e40e4e0090a56422b2dfb6e4\setup.py", line 47, in run
_ = subprocess.check_output(['cmake', '--version'])
File "c:\program files\python37\lib\subprocess.py", line 411, in check_output
**kwargs).stdout
File "c:\program files\python37\lib\subprocess.py", line 488, in run
with Popen(*popenargs, **kwargs) as process:
File "c:\program files\python37\lib\subprocess.py", line 800, in __init__
restore_signals, start_new_session)
File "c:\program files\python37\lib\subprocess.py", line 1207, in _execute_child
startupinfo)
FileNotFoundError: [WinError 2] The system cannot find the file specified
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "<string>", line 1, in <module>
File "C:\Users\ADMINI~1\AppData\Local\Temp\2\pip-install-3gh_u8xk\stormpy_61a3a243e40e4e0090a56422b2dfb6e4\setup.py", line 240, in <module>
python_requires='>=3',
File "c:\program files\python37\lib\site-packages\setuptools\__init__.py", line 144, in setup
return distutils.core.setup(**attrs)
File "c:\program files\python37\lib\distutils\core.py", line 148, in setup
dist.run_commands()
File "c:\program files\python37\lib\distutils\dist.py", line 966, in run_commands
self.run_command(cmd)
File "c:\program files\python37\lib\distutils\dist.py", line 985, in run_command
cmd_obj.run()
File "c:\program files\python37\lib\site-packages\wheel\bdist_wheel.py", line 299, in run
self.run_command('build')
File "c:\program files\python37\lib\distutils\cmd.py", line 313, in run_command
self.distribution.run_command(command)
File "c:\program files\python37\lib\distutils\dist.py", line 985, in run_command
cmd_obj.run()
File "c:\program files\python37\lib\distutils\command\build.py", line 135, in run
self.run_command(cmd_name)
File "c:\program files\python37\lib\distutils\cmd.py", line 313, in run_command
self.distribution.run_command(command)
File "c:\program files\python37\lib\distutils\dist.py", line 985, in run_command
cmd_obj.run()
File "C:\Users\ADMINI~1\AppData\Local\Temp\2\pip-install-3gh_u8xk\stormpy_61a3a243e40e4e0090a56422b2dfb6e4\setup.py", line 50, in run
", ".join(e.name for e in self.extensions))
RuntimeError: CMake must be installed to build the following extensions: core, info, logic, storage, utility, dft, pars
----------------------------------------
ERROR: Failed building wheel for stormpy
Running setup.py clean for stormpy
Building wheel for pycarl (setup.py) ... error
ERROR: Command errored out with exit status 1:
command: 'c:\program files\python37\python.exe' -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'C:\\Users\\ADMINI~1\\AppData\\Local\\Temp\\2\\pip-install-3gh_u8xk\\pycarl_c078113597944e0ea2fc228faf1c96ab\\setup.py'"'"'; __file__='"'"'C:\\Users\\ADMINI~1\\AppData\\Local\\Temp\\2\\pip-install-3gh_u8xk\\pycarl_c078113597944e0ea2fc228faf1c96ab\\setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(__file__) if os.path.exists(__file__) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' bdist_wheel -d 'C:\Users\ADMINI~1\AppData\Local\Temp\2\pip-wheel-r54_bv4q'
cwd: C:\Users\ADMINI~1\AppData\Local\Temp\2\pip-install-3gh_u8xk\pycarl_c078113597944e0ea2fc228faf1c96ab\
Complete output (93 lines):
running bdist_wheel
running build
running build_py
creating build
creating build\lib.win-amd64-3.7
creating build\lib.win-amd64-3.7\pycarl
copying lib\pycarl\infinity.py -> build\lib.win-amd64-3.7\pycarl
copying lib\pycarl\_config.py -> build\lib.win-amd64-3.7\pycarl
copying lib\pycarl\_version.py -> build\lib.win-amd64-3.7\pycarl
copying lib\pycarl\__init__.py -> build\lib.win-amd64-3.7\pycarl
creating build\lib.win-amd64-3.7\pycarl\cln
copying lib\pycarl\cln\_config.py -> build\lib.win-amd64-3.7\pycarl\cln
copying lib\pycarl\cln\__init__.py -> build\lib.win-amd64-3.7\pycarl\cln
creating build\lib.win-amd64-3.7\pycarl\convert
copying lib\pycarl\convert\cln_converter.py -> build\lib.win-amd64-3.7\pycarl\convert
copying lib\pycarl\convert\gmp_converter.py -> build\lib.win-amd64-3.7\pycarl\convert
copying lib\pycarl\convert\__init__.py -> build\lib.win-amd64-3.7\pycarl\convert
creating build\lib.win-amd64-3.7\pycarl\formula
copying lib\pycarl\formula\__init__.py -> build\lib.win-amd64-3.7\pycarl\formula
creating build\lib.win-amd64-3.7\pycarl\gmp
copying lib\pycarl\gmp\__init__.py -> build\lib.win-amd64-3.7\pycarl\gmp
creating build\lib.win-amd64-3.7\pycarl\parse
copying lib\pycarl\parse\_config.py -> build\lib.win-amd64-3.7\pycarl\parse
copying lib\pycarl\parse\__init__.py -> build\lib.win-amd64-3.7\pycarl\parse
creating build\lib.win-amd64-3.7\pycarl\cln\formula
copying lib\pycarl\cln\formula\_config.py -> build\lib.win-amd64-3.7\pycarl\cln\formula
copying lib\pycarl\cln\formula\__init__.py -> build\lib.win-amd64-3.7\pycarl\cln\formula
creating build\lib.win-amd64-3.7\pycarl\cln\parse
copying lib\pycarl\cln\parse\_config.py -> build\lib.win-amd64-3.7\pycarl\cln\parse
copying lib\pycarl\cln\parse\__init__.py -> build\lib.win-amd64-3.7\pycarl\cln\parse
creating build\lib.win-amd64-3.7\pycarl\gmp\formula
copying lib\pycarl\gmp\formula\__init__.py -> build\lib.win-amd64-3.7\pycarl\gmp\formula
creating build\lib.win-amd64-3.7\pycarl\gmp\parse
copying lib\pycarl\gmp\parse\_config.py -> build\lib.win-amd64-3.7\pycarl\gmp\parse
copying lib\pycarl\gmp\parse\__init__.py -> build\lib.win-amd64-3.7\pycarl\gmp\parse
running egg_info
writing lib\pycarl.egg-info\PKG-INFO
writing dependency_links to lib\pycarl.egg-info\dependency_links.txt
writing top-level names to lib\pycarl.egg-info\top_level.txt
reading manifest file 'lib\pycarl.egg-info\SOURCES.txt'
reading manifest template 'MANIFEST.in'
warning: manifest_maker: MANIFEST.in, line 2: path 'setup/' cannot end with '/'
warning: manifest_maker: MANIFEST.in, line 3: path 'cmake/' cannot end with '/'
warning: manifest_maker: MANIFEST.in, line 4: path 'src/' cannot end with '/'
warning: manifest_maker: MANIFEST.in, line 5: path 'resources/' cannot end with '/'
writing manifest file 'lib\pycarl.egg-info\SOURCES.txt'
running build_ext
Traceback (most recent call last):
File "C:\Users\ADMINI~1\AppData\Local\Temp\2\pip-install-3gh_u8xk\pycarl_c078113597944e0ea2fc228faf1c96ab\setup.py", line 50, in run
_ = subprocess.check_output(['cmake', '--version'])
File "c:\program files\python37\lib\subprocess.py", line 411, in check_output
**kwargs).stdout
File "c:\program files\python37\lib\subprocess.py", line 488, in run
with Popen(*popenargs, **kwargs) as process:
File "c:\program files\python37\lib\subprocess.py", line 800, in __init__
restore_signals, start_new_session)
File "c:\program files\python37\lib\subprocess.py", line 1207, in _execute_child
startupinfo)
FileNotFoundError: [WinError 2] The system cannot find the file specified
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "<string>", line 1, in <module>
File "C:\Users\ADMINI~1\AppData\Local\Temp\2\pip-install-3gh_u8xk\pycarl_c078113597944e0ea2fc228faf1c96ab\setup.py", line 225, in <module>
python_requires='>=3',
File "c:\program files\python37\lib\site-packages\setuptools\__init__.py", line 144, in setup
return distutils.core.setup(**attrs)
File "c:\program files\python37\lib\distutils\core.py", line 148, in setup
dist.run_commands()
File "c:\program files\python37\lib\distutils\dist.py", line 966, in run_commands
self.run_command(cmd)
File "c:\program files\python37\lib\distutils\dist.py", line 985, in run_command
cmd_obj.run()
File "c:\program files\python37\lib\site-packages\wheel\bdist_wheel.py", line 299, in run
self.run_command('build')
File "c:\program files\python37\lib\distutils\cmd.py", line 313, in run_command
self.distribution.run_command(command)
File "c:\program files\python37\lib\distutils\dist.py", line 985, in run_command
cmd_obj.run()
File "c:\program files\python37\lib\distutils\command\build.py", line 135, in run
self.run_command(cmd_name)
File "c:\program files\python37\lib\distutils\cmd.py", line 313, in run_command
self.distribution.run_command(command)
File "c:\program files\python37\lib\distutils\dist.py", line 985, in run_command
cmd_obj.run()
File "C:\Users\ADMINI~1\AppData\Local\Temp\2\pip-install-3gh_u8xk\pycarl_c078113597944e0ea2fc228faf1c96ab\setup.py", line 53, in run
", ".join(e.name for e in self.extensions))
RuntimeError: CMake must be installed to build the following extensions: core, cln, gmp, formula, formula-cln, formula-gmp, parse, parse-gmp, parse-cln
----------------------------------------
ERROR: Failed building wheel for pycarl
Running setup.py clean for pycarl
Failed to build stormpy pycarl
Installing collected packages: pycarl, stormpy
Running setup.py install for pycarl ... error
ERROR: Command errored out with exit status 1:
command: 'c:\program files\python37\python.exe' -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'C:\\Users\\ADMINI~1\\AppData\\Local\\Temp\\2\\pip-install-3gh_u8xk\\pycarl_c078113597944e0ea2fc228faf1c96ab\\setup.py'"'"'; __file__='"'"'C:\\Users\\ADMINI~1\\AppData\\Local\\Temp\\2\\pip-install-3gh_u8xk\\pycarl_c078113597944e0ea2fc228faf1c96ab\\setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(__file__) if os.path.exists(__file__) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' install --record 'C:\Users\ADMINI~1\AppData\Local\Temp\2\pip-record-vlz10qsn\install-record.txt' --single-version-externally-managed --compile --install-headers 'c:\program files\python37\Include\pycarl'
cwd: C:\Users\ADMINI~1\AppData\Local\Temp\2\pip-install-3gh_u8xk\pycarl_c078113597944e0ea2fc228faf1c96ab\
Complete output (95 lines):
running install
running build
running build_py
creating build
creating build\lib.win-amd64-3.7
creating build\lib.win-amd64-3.7\pycarl
copying lib\pycarl\infinity.py -> build\lib.win-amd64-3.7\pycarl
copying lib\pycarl\_config.py -> build\lib.win-amd64-3.7\pycarl
copying lib\pycarl\_version.py -> build\lib.win-amd64-3.7\pycarl
copying lib\pycarl\__init__.py -> build\lib.win-amd64-3.7\pycarl
creating build\lib.win-amd64-3.7\pycarl\cln
copying lib\pycarl\cln\_config.py -> build\lib.win-amd64-3.7\pycarl\cln
copying lib\pycarl\cln\__init__.py -> build\lib.win-amd64-3.7\pycarl\cln
creating build\lib.win-amd64-3.7\pycarl\convert
copying lib\pycarl\convert\cln_converter.py -> build\lib.win-amd64-3.7\pycarl\convert
copying lib\pycarl\convert\gmp_converter.py -> build\lib.win-amd64-3.7\pycarl\convert
copying lib\pycarl\convert\__init__.py -> build\lib.win-amd64-3.7\pycarl\convert
creating build\lib.win-amd64-3.7\pycarl\formula
copying lib\pycarl\formula\__init__.py -> build\lib.win-amd64-3.7\pycarl\formula
creating build\lib.win-amd64-3.7\pycarl\gmp
copying lib\pycarl\gmp\__init__.py -> build\lib.win-amd64-3.7\pycarl\gmp
creating build\lib.win-amd64-3.7\pycarl\parse
copying lib\pycarl\parse\_config.py -> build\lib.win-amd64-3.7\pycarl\parse
copying lib\pycarl\parse\__init__.py -> build\lib.win-amd64-3.7\pycarl\parse
creating build\lib.win-amd64-3.7\pycarl\cln\formula
copying lib\pycarl\cln\formula\_config.py -> build\lib.win-amd64-3.7\pycarl\cln\formula
copying lib\pycarl\cln\formula\__init__.py -> build\lib.win-amd64-3.7\pycarl\cln\formula
creating build\lib.win-amd64-3.7\pycarl\cln\parse
copying lib\pycarl\cln\parse\_config.py -> build\lib.win-amd64-3.7\pycarl\cln\parse
copying lib\pycarl\cln\parse\__init__.py -> build\lib.win-amd64-3.7\pycarl\cln\parse
creating build\lib.win-amd64-3.7\pycarl\gmp\formula
copying lib\pycarl\gmp\formula\__init__.py -> build\lib.win-amd64-3.7\pycarl\gmp\formula
creating build\lib.win-amd64-3.7\pycarl\gmp\parse
copying lib\pycarl\gmp\parse\_config.py -> build\lib.win-amd64-3.7\pycarl\gmp\parse
copying lib\pycarl\gmp\parse\__init__.py -> build\lib.win-amd64-3.7\pycarl\gmp\parse
running egg_info
writing lib\pycarl.egg-info\PKG-INFO
writing dependency_links to lib\pycarl.egg-info\dependency_links.txt
writing top-level names to lib\pycarl.egg-info\top_level.txt
reading manifest file 'lib\pycarl.egg-info\SOURCES.txt'
reading manifest template 'MANIFEST.in'
warning: manifest_maker: MANIFEST.in, line 2: path 'setup/' cannot end with '/'
warning: manifest_maker: MANIFEST.in, line 3: path 'cmake/' cannot end with '/'
warning: manifest_maker: MANIFEST.in, line 4: path 'src/' cannot end with '/'
warning: manifest_maker: MANIFEST.in, line 5: path 'resources/' cannot end with '/'
writing manifest file 'lib\pycarl.egg-info\SOURCES.txt'
running build_ext
Traceback (most recent call last):
File "C:\Users\ADMINI~1\AppData\Local\Temp\2\pip-install-3gh_u8xk\pycarl_c078113597944e0ea2fc228faf1c96ab\setup.py", line 50, in run
_ = subprocess.check_output(['cmake', '--version'])
File "c:\program files\python37\lib\subprocess.py", line 411, in check_output
**kwargs).stdout
File "c:\program files\python37\lib\subprocess.py", line 488, in run
with Popen(*popenargs, **kwargs) as process:
File "c:\program files\python37\lib\subprocess.py", line 800, in __init__
restore_signals, start_new_session)
File "c:\program files\python37\lib\subprocess.py", line 1207, in _execute_child
startupinfo)
FileNotFoundError: [WinError 2] The system cannot find the file specified
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "<string>", line 1, in <module>
File "C:\Users\ADMINI~1\AppData\Local\Temp\2\pip-install-3gh_u8xk\pycarl_c078113597944e0ea2fc228faf1c96ab\setup.py", line 225, in <module>
python_requires='>=3',
File "c:\program files\python37\lib\site-packages\setuptools\__init__.py", line 144, in setup
return distutils.core.setup(**attrs)
File "c:\program files\python37\lib\distutils\core.py", line 148, in setup
dist.run_commands()
File "c:\program files\python37\lib\distutils\dist.py", line 966, in run_commands
self.run_command(cmd)
File "c:\program files\python37\lib\distutils\dist.py", line 985, in run_command
cmd_obj.run()
File "c:\program files\python37\lib\site-packages\setuptools\command\install.py", line 61, in run
return orig.install.run(self)
File "c:\program files\python37\lib\distutils\command\install.py", line 545, in run
self.run_command('build')
File "c:\program files\python37\lib\distutils\cmd.py", line 313, in run_command
self.distribution.run_command(command)
File "c:\program files\python37\lib\distutils\dist.py", line 985, in run_command
cmd_obj.run()
File "c:\program files\python37\lib\distutils\command\build.py", line 135, in run
self.run_command(cmd_name)
File "c:\program files\python37\lib\distutils\cmd.py", line 313, in run_command
self.distribution.run_command(command)
File "c:\program files\python37\lib\distutils\dist.py", line 985, in run_command
cmd_obj.run()
File "C:\Users\ADMINI~1\AppData\Local\Temp\2\pip-install-3gh_u8xk\pycarl_c078113597944e0ea2fc228faf1c96ab\setup.py", line 53, in run
", ".join(e.name for e in self.extensions))
RuntimeError: CMake must be installed to build the following extensions: core, cln, gmp, formula, formula-cln, formula-gmp, parse, parse-gmp, parse-cln
----------------------------------------
ERROR: Command errored out with exit status 1: 'c:\program files\python37\python.exe' -u -c 'import io, os, sys, setuptools, tokenize; sys.argv[0] = '"'"'C:\\Users\\ADMINI~1\\AppData\\Local\\Temp\\2\\pip-install-3gh_u8xk\\pycarl_c078113597944e0ea2fc228faf1c96ab\\setup.py'"'"'; __file__='"'"'C:\\Users\\ADMINI~1\\AppData\\Local\\Temp\\2\\pip-install-3gh_u8xk\\pycarl_c078113597944e0ea2fc228faf1c96ab\\setup.py'"'"';f = getattr(tokenize, '"'"'open'"'"', open)(__file__) if os.path.exists(__file__) else io.StringIO('"'"'from setuptools import setup; setup()'"'"');code = f.read().replace('"'"'\r\n'"'"', '"'"'\n'"'"');f.close();exec(compile(code, __file__, '"'"'exec'"'"'))' install --record 'C:\Users\ADMINI~1\AppData\Local\Temp\2\pip-record-vlz10qsn\install-record.txt' --single-version-externally-managed --compile --install-headers 'c:\program files\python37\Include\pycarl' Check the logs for full command output.
WARNING: You are using pip version 21.3.1; however, version 22.3.1 is available.
You should consider upgrading via the 'c:\program files\python37\python.exe -m pip install --upgrade pip' command.
I also try to install manually but encounter more error such as cmake is not available in system. Is there a way to fix this problem?
Hi, running stormpy natively under Windows is currently not supported because Storm does not run under Windows. I would recommend to run stormpy/Storm in a Docker container which also works under Windows, see here. Remembering from our earlier discussion you already managed to run stormpy with this approach. Is running stormpy in a Docker container a feasible option for you?
Hi @volkm, sorry for the very late reply. Thank you for the suggestion but I don't think running stormpy in a Docker container is feasible. I want to implement stormpy directly so that I could use this library to create my cloud auto-scaling software with the ease of a friendly GUI so that any user can easily set up and use this application. And most of this is just for educational purpose just for me to learn. Is there any other way that perhaps help me to just install and use stormpy library with docker in Windows?
I currently see no other option on Windows then to use the Docker container. Native compilation of Storm under Windows is not really tested and will likely have some issues. My recommendation would be to start with the stormpy Docker container which ships all necessary dependencies. Then you can build your own software on top of this. Note that we successfully used this approach in quite some projects already.
Can you give me the steps on how can I connect my application with a Stormpy Docker container?
The easiest way is probably to build your application on top of stormpy. You can simply use the stormpy Docker image as base and add all necessary packages and code for your application. See this project for an example Dockerfile which builds a tool called Slurf upon stormpy.
The resulting Docker container has stormpy (and Storm) already installed in directory /opt. You should be able to import stormpy.