From ad2c33dd373b8764eb8dff7ad8107632a0bacb88 Mon Sep 17 00:00:00 2001
From: "N. Engelhardt" <nak@yosyshq.com>
Date: Tue, 24 May 2022 11:39:10 +0200
Subject: [PATCH] docs: add instructions for newer btorsim version required

---
 docs/source/install.rst | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/docs/source/install.rst b/docs/source/install.rst
index 293ee71..50fc45b 100644
--- a/docs/source/install.rst
+++ b/docs/source/install.rst
@@ -142,3 +142,11 @@ http://fmv.jku.at/boolector/
    sudo cp build/bin/{boolector,btor*} /usr/local/bin/
    sudo cp deps/btor2tools/bin/btorsim /usr/local/bin/
 
+To use the ``btor`` engine you additionally need a newer version of btorsim than the boolector setup script builds:
+
+.. code-block:: text
+
+   git clone https://github.com/boolector/btor2tools
+   ./configure.sh
+   cmake .
+   make install
-- 
2.30.2