From f33c2eda522214fe4a9371b368cbcbdc179c5aa2 Mon Sep 17 00:00:00 2001
From: KrystalDelusion <krystinedawn@yosyshq.com>
Date: Mon, 2 May 2022 10:43:10 +1200
Subject: [PATCH] Updating/rearranging links
---
docs/source/install.rst | 40 ++++++++++++++++++++--------------------
1 file changed, 20 insertions(+), 20 deletions(-)
diff --git a/docs/source/install.rst b/docs/source/install.rst
index 7f198b2..98dcc11 100644
--- a/docs/source/install.rst
+++ b/docs/source/install.rst
@@ -45,7 +45,7 @@ Installing prerequisites (this command is for Ubuntu 16.04):
Yosys, Yosys-SMTBMC and ABC
---------------------------
-https://yosyshq.net/yosys/
+https://www.yosyshq.com/open-source
https://people.eecs.berkeley.edu/~alanmi/abc/
@@ -53,7 +53,7 @@ Next install Yosys, Yosys-SMTBMC and ABC (``yosys-abc``):
.. code-block:: text
- git clone https://github.com/YosysHQ/yosys.git yosys
+ git clone https://github.com/YosysHQ/yosys
cd yosys
make -j$(nproc)
sudo make install
@@ -61,26 +61,12 @@ Next install Yosys, Yosys-SMTBMC and ABC (``yosys-abc``):
SymbiYosys
----------
-https://github.com/YosysHQ/SymbiYosys
+https://github.com/YosysHQ/sby
.. code-block:: text
- git clone https://github.com/YosysHQ/SymbiYosys.git SymbiYosys
- cd SymbiYosys
- sudo make install
-
-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)
+ git clone https://github.com/YosysHQ/sby
+ cd sby
sudo make install
Z3
@@ -90,13 +76,27 @@ https://github.com/Z3Prover/z3/wiki
.. code-block:: text
- git clone https://github.com/Z3Prover/z3.git z3
+ git clone https://github.com/Z3Prover/z3
cd z3
python scripts/mk_make.py
cd build
make -j$(nproc)
sudo make install
+Yices 2
+-------
+
+http://yices.csl.sri.com/
+
+.. code-block:: text
+
+ git clone https://github.com/SRI-CSL/yices2
+ cd yices2
+ autoconf
+ ./configure
+ make -j$(nproc)
+ sudo make install
+
super_prove
-----------