From 16690569c4c3c2dd4f098811f13048a4bf1a9d67 Mon Sep 17 00:00:00 2001 From: Kaiyu Yang Date: Wed, 29 May 2024 07:28:37 -0700 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index b79afab..5e92cea 100644 --- a/README.md +++ b/README.md @@ -44,7 +44,7 @@ ______________________________________________________________________ * 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) * Install the latest version of [Z3](https://github.com/Z3Prover/z3) and [CVC5](https://cvc5.github.io/) and make sure they can be accessed from the command line -* Install Python dependencies: `pip install smt-portfolio leanblueprint openai` +* Install Python dependencies: `pip install smt-portfolio openai` * Find out the location of `smt-portfolio` and make sure Lean's VSCode extension can also access it. For example, if `which smt-portfolio` outputs `/Users/yangky/miniconda3/envs/lean/bin/smt-portfolio`, you should set `Server Env Paths` in Lean's VSCode extension as below: image