From 6d1ef8b5a0bf0ad9678ba152e5e2bf458aabbb55 Mon Sep 17 00:00:00 2001
From: Jannis Harder <me@jix.one>
Date: Mon, 6 Feb 2023 16:54:37 +0100
Subject: [PATCH] docs: Yices is still recommended

---
 docs/source/install.rst | 20 ++++++++++++++------
 1 file changed, 14 insertions(+), 6 deletions(-)

diff --git a/docs/source/install.rst b/docs/source/install.rst
index 604737b..2b28e30 100644
--- a/docs/source/install.rst
+++ b/docs/source/install.rst
@@ -102,6 +102,20 @@ To use the ``btor`` engine you will need to install btor2tools from
 `commit c35cf1c <https://github.com/Boolector/btor2tools/commit/c35cf1c>`_ or
 newer. 
 
+Yices 2
+-------
+
+http://yices.csl.sri.com/
+
+.. code-block:: text
+
+   git clone https://github.com/SRI-CSL/yices2.git yices2
+   cd yices2
+   autoconf
+   ./configure
+   make -j$(nproc)
+   sudo make install
+
 Optional components
 -------------------
 Additional solver engines can be installed as per their instructions, links are
@@ -112,12 +126,6 @@ Z3
 
   https://github.com/Z3Prover/z3
 
-Yices 2
-^^^^^^^
-  http://yices.csl.sri.com/
-
-  https://github.com/SRI-CSL/yices2
-
 super_prove
 ^^^^^^^^^^^
   https://github.com/sterin/super-prove-build