EECI-IGSC 2020 - Revision history

Nok: /* Software Installation */

2020-04-08T13:15:47Z

Software Installation

← Older revision		Revision as of 13:15, 8 April 2020
Line 186:		Line 186:
	$ git clone -b stable https://github.com/moves-rwth/storm.git		$ git clone -b stable https://github.com/moves-rwth/storm.git
	$ cd storm		$ cd storm
	$ export STORM_DIR=path_to_storm		$ export STORM_DIR=''path_to_storm''
	$ mkdir build		$ mkdir build
	$ cd build		$ cd build

2020-04-08T13:15:09Z

Software Installation

← Older revision		Revision as of 13:15, 8 April 2020
Line 186:		Line 186:
	$ git clone -b stable https://github.com/moves-rwth/storm.git		$ git clone -b stable https://github.com/moves-rwth/storm.git
	$ cd storm		$ cd storm
	$ export STORM_DIR=~~/home/tichakorn/storm/~~		$ export STORM_DIR=path_to_storm
	$ mkdir build		$ mkdir build
	$ cd build		$ cd build

2020-03-12T09:24:28Z

Software Installation

← Older revision		Revision as of 09:24, 12 March 2020
Line 146:		Line 146:

	$ pip install matplotlib		$ pip install matplotlib

			'''dot:''' dot is not required for TuLiP but is used for visualization. The dot program is part of the graphviz package available on most *nix systems. A typical way to install the package is to use the following command

			$ sudo apt-get install graphviz

	'''Stormpy:''' stormpy requires multiple packages, including carl, pycarl, z3 and storm. First, get all the required libraries. I summarize it here based on Ubuntu. (I tried it on Ubuntu18.04 but other versions should work too.)		'''Stormpy:''' stormpy requires multiple packages, including carl, pycarl, z3 and storm. First, get all the required libraries. I summarize it here based on Ubuntu. (I tried it on Ubuntu18.04 but other versions should work too.)

2020-03-07T08:44:57Z

← Older revision		Revision as of 08:44, 7 March 2020
Line 136:		Line 136:
	'''polytope:''' Make sure you have version 0.2.2 or higher of polytope installed		'''polytope:''' Make sure you have version 0.2.2 or higher of polytope installed

	$ python -e "import polytope; print(polytope.__version__)"		$ python -c "import polytope; print(polytope.__version__)"

	If the version is not '0.2.2' (possibly followed by some additional text, e.g., 0.2.2.dev0+f12c87a64641fed4d36a0fe904613495c434577d), then you need to install the latest version of polytope from source:		If the version is not '0.2.2' (possibly followed by some additional text, e.g., 0.2.2.dev0+f12c87a64641fed4d36a0fe904613495c434577d), then you need to install the latest version of polytope from source:

2020-03-06T03:17:29Z

Software Installation

← Older revision		Revision as of 03:17, 6 March 2020
Line 138:		Line 138:
	$ python -e "import polytope; print(polytope.__version__)"		$ python -e "import polytope; print(polytope.__version__)"

	If the version is not '0.2.2' (possibly followed by some additional text), then you need to install the latest version of polytope from source:		If the version is not '0.2.2' (possibly followed by some additional text, e.g., 0.2.2.dev0+f12c87a64641fed4d36a0fe904613495c434577d), then you need to install the latest version of polytope from source:

	$ git clone https://github.com/tulip-control/polytope.git		$ git clone https://github.com/tulip-control/polytope.git

2020-03-04T15:34:03Z

Software Installation

← Older revision		Revision as of 15:34, 4 March 2020
Line 132:		Line 132:
	$ pip install cvxopt		$ pip install cvxopt
	$ pip install -r requirements.txt		$ pip install -r requirements.txt
	$ python setup.py ~~develop~~		$ python setup.py install

			'''polytope:''' Make sure you have version 0.2.2 or higher of polytope installed

			$ python -e "import polytope; print(polytope.__version__)"

			If the version is not '0.2.2' (possibly followed by some additional text), then you need to install the latest version of polytope from source:

			$ git clone https://github.com/tulip-control/polytope.git
			$ python setup.py install

	'''matplotlib:''' matplotlib is not required for TuLiP but will be used in the course for visualization		'''matplotlib:''' matplotlib is not required for TuLiP but will be used in the course for visualization

2020-03-04T15:30:25Z

Software Installation

← Older revision		Revision as of 15:30, 4 March 2020
Line 128:		Line 128:
	$ git clone https://github.com/tulip-control/tulip-control.git		$ git clone https://github.com/tulip-control/tulip-control.git
	$ cd tulip-control		$ cd tulip-control
	$ git ~~chechout~~ eeci2020		$ git checkout eeci2020
	$ pip install wheel		$ pip install wheel
	$ pip install cvxopt		$ pip install cvxopt

2020-03-03T18:15:23Z

Software Installation

← Older revision		Revision as of 18:15, 3 March 2020
Line 129:		Line 129:
	$ cd tulip-control		$ cd tulip-control
	$ git chechout eeci2020		$ git chechout eeci2020
			$ pip install wheel
			$ pip install cvxopt
	$ pip install -r requirements.txt		$ pip install -r requirements.txt
	$ python setup.py develop		$ python setup.py develop

2020-03-03T04:44:49Z

Software Installation

← Older revision		Revision as of 04:44, 3 March 2020
Line 131:		Line 131:
	$ pip install -r requirements.txt		$ pip install -r requirements.txt
	$ python setup.py develop		$ python setup.py develop

			'''matplotlib:''' matplotlib is not required for TuLiP but will be used in the course for visualization

			$ pip install matplotlib

	'''Stormpy:''' stormpy requires multiple packages, including carl, pycarl, z3 and storm. First, get all the required libraries. I summarize it here based on Ubuntu. (I tried it on Ubuntu18.04 but other versions should work too.)		'''Stormpy:''' stormpy requires multiple packages, including carl, pycarl, z3 and storm. First, get all the required libraries. I summarize it here based on Ubuntu. (I tried it on Ubuntu18.04 but other versions should work too.)

2020-03-03T00:23:23Z

Software Installation

← Older revision		Revision as of 00:23, 3 March 2020
Line 161:		Line 161:
	$ sudo make install		$ sudo make install

	Note down where z3 is installed. If you use virtualenv, it should be something like venv_path/bin/z3 where venv_path is the path to the virtual environment.		Note down where z3 is installed. If you use virtualenv, it should be something like ''venv_path''/bin/z3 where venv_path is the path to the virtual environment.

	'''storm:'''		'''storm:'''
Line 173:		Line 173:
	$ ccmake ..		$ ccmake ..
	Change the followings:		Change the followings:
	Z3_EXEC: venv_path/bin/z3		Z3_EXEC: ''venv_path''/bin/z3
	Z3_INCLUDE_DIR: venv_path/include		Z3_INCLUDE_DIR: ''venv_path''/include
	Z3_LIBRARY: venv_path/lib/libz3.so		Z3_LIBRARY: ''venv_path''/lib/libz3.so
	$ make		$ make