update readme

Signed-off-by: Francesco Fuggitti <francesco.fuggitti@gmail.com>
IBM · Jun 13, 2023 · d37c0b9 · d37c0b9
1 parent 01e515d
commit d37c0b9
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -15,6 +15,10 @@ NL2LTL is an interface to translate natural language (NL) utterances to
 linear temporal logic (LTL) formulas.
 
 ## Installation
+- from PyPI:
+```bash
+pip install nl2ltl
+```
 - from source (`main` branch):
 ```bash
 pip install git+https://github.com/IBM/nl2ltl.git