mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-12 16:28:17 +00:00
Code Activity

Headings for optional/required installs

Browse source
This commit is contained in:
KrystalDelusion 2022-05-04 10:50:38 +12:00
parent 8f22733698
commit 12b854b554
1 changed files with 13 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
docs/source/install.rst
View file

@ -42,8 +42,11 @@ Installing prerequisites (this command is for Ubuntu 16.04):
libboost-program-options-dev autoconf libgmp-dev \ libboost-program-options-dev autoconf libgmp-dev \
cmake curl cmake curl
Required components
-------------------
Yosys, Yosys-SMTBMC and ABC Yosys, Yosys-SMTBMC and ABC
--------------------------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
https://yosyshq.net/yosys/ https://yosyshq.net/yosys/
@ -59,7 +62,7 @@ Next install Yosys, Yosys-SMTBMC and ABC (``yosys-abc``):
sudo make install sudo make install
SymbiYosys SymbiYosys
---------- ^^^^^^^^^^
https://github.com/YosysHQ/sby https://github.com/YosysHQ/sby
@ -70,7 +73,7 @@ https://github.com/YosysHQ/sby
sudo make install sudo make install
Z3 Z3
-- ^^
https://github.com/Z3Prover/z3/wiki https://github.com/Z3Prover/z3/wiki
@ -83,8 +86,11 @@ https://github.com/Z3Prover/z3/wiki
make -j$(nproc) make -j$(nproc)
sudo make install sudo make install
Optional components
-------------------
Yices 2 Yices 2
------- ^^^^^^^
http://yices.csl.sri.com/ http://yices.csl.sri.com/
@ -98,7 +104,7 @@ http://yices.csl.sri.com/
sudo make install sudo make install
super_prove super_prove
----------- ^^^^^^^^^^^
https://github.com/sterin/super-prove-build https://github.com/sterin/super-prove-build
@ -136,7 +142,7 @@ And make this wrapper script executable:
sudo chmod +x /usr/local/bin/suprove sudo chmod +x /usr/local/bin/suprove
Avy Avy
--- ^^^
https://arieg.bitbucket.io/avy/ https://arieg.bitbucket.io/avy/
@ -151,7 +157,7 @@ https://arieg.bitbucket.io/avy/
sudo cp avy/src/{avy,avybmc} /usr/local/bin/ sudo cp avy/src/{avy,avybmc} /usr/local/bin/
Boolector Boolector
--------- ^^^^^^^^^
http://fmv.jku.at/boolector/ http://fmv.jku.at/boolector/