From d37c0b9100e3837be71d38a0f5f534a8bbf0beb3 Mon Sep 17 00:00:00 2001 From: Francesco Fuggitti Date: Tue, 13 Jun 2023 16:01:40 -0400 Subject: [PATCH] update readme Signed-off-by: Francesco Fuggitti --- README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/README.md b/README.md index c1de86d..65c70ae 100644 --- 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