teaching/mtl-aas
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Updated installation instructions.

Browse source
This commit is contained in:
Marcell Vazquez-Chanlatte 2020-02-10 10:39:30 -08:00
parent 1cb74b6a26
commit 16fdcbc780
1 changed files with 10 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

10
README.md
View file

@ -42,8 +42,18 @@ given in the usage.
# Installation # Installation
If you just need to use `metric-temporal-logic`, you can just run:
`$ pip install metric-temporal-logic` `$ pip install metric-temporal-logic`
For developers, note that this project uses the
[poetry](https://poetry.eustace.io/) python package/dependency
management tool. Please familarize yourself with it and then
run:
`$ poetry install`
# Usage # Usage
To begin, we import `mtl`. To begin, we import `mtl`.