From 16fdcbc7807e44edd352aca97aaa2cfa22525b9e Mon Sep 17 00:00:00 2001
From: Marcell Vazquez-Chanlatte <mvc@linux.com>
Date: Mon, 10 Feb 2020 10:39:30 -0800
Subject: [PATCH] Updated installation instructions.

---
 README.md | 10 ++++++++++
 1 file changed, 10 insertions(+)

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`.