diff --git a/README.md b/README.md index 69a7066..4c5b80a 100644 --- a/README.md +++ b/README.md @@ -42,8 +42,18 @@ given in the usage. # Installation +If you just need to use `metric-temporal-logic`, you can just run: + `$ 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 To begin, we import `mtl`.