From e4c158ce0f5ea4069326ee3f53c2ac86e16ba576 Mon Sep 17 00:00:00 2001 From: Martin Blicha Date: Wed, 12 Apr 2023 22:11:18 +0200 Subject: [PATCH] README: Fix OpenSMT's version --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 46e7cad1..e879fefa 100644 --- a/README.md +++ b/README.md @@ -13,7 +13,7 @@ Golem can be compiled on Linux and MacOS. It uses `CMake` for build configuration. Golem depends on [OpenSMT](https://github.com/usi-verification-and-security/opensmt/) for SMT solving and interpolation. If you already have OpenSMT installed, you can pass the path using `-DOPENSMT_HOME` option to `cmake` command. -Note that Golem requires a specific version of OpenSMT, currently v2.4.3. +Note that Golem requires a specific version of OpenSMT, currently v2.5.0. Otherwise, `cmake` will download the latest compatible version of OpenSMT and build it as a subproject. ## Usage