From e24f851182748b8a4f7ec55ae2aaa29afcee37b7 Mon Sep 17 00:00:00 2001 From: Kaiyu Yang Date: Tue, 28 May 2024 07:40:50 -0700 Subject: [PATCH] Update README.md --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index cb3d25e..365d629 100644 --- a/README.md +++ b/README.md @@ -44,7 +44,9 @@ ______________________________________________________________________ * A working setup of [Lean 4](https://lean-lang.org/), including [elan](https://github.com/leanprover/elan) and [Lean's VSCode extension](https://lean-lang.org/lean4/doc/quickstart.html) * The latest version of [Z3](https://github.com/Z3Prover/z3) and [CVC5](https://cvc5.github.io/) -* Install Python dependencies: `pip install smt-portfolio leanblueprint invoke pandoc watchfiles openai` +* Install Python dependencies: `pip install smt-portfolio` +* Optional: If you want to build the blueprint locally: `pip install leanblueprint` +* Optional: If you want to run autoformalization experiments using GPT-4: `pip install openai`