mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-06 14:24:08 +00:00
Code Activity

docs: Yices is still recommended

Browse source
This commit is contained in:
Jannis Harder 2023-02-06 16:54:37 +01:00
parent 7d3f0d50a5
commit 6d1ef8b5a0
1 changed files with 14 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
docs/source/install.rst
View file

@ -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 `commit c35cf1c <https://github.com/Boolector/btor2tools/commit/c35cf1c>`_ or
newer. 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 Optional components
------------------- -------------------
Additional solver engines can be installed as per their instructions, links are Additional solver engines can be installed as per their instructions, links are
@ -112,12 +126,6 @@ Z3
https://github.com/Z3Prover/z3 https://github.com/Z3Prover/z3
Yices 2
^^^^^^^
http://yices.csl.sri.com/
https://github.com/SRI-CSL/yices2
super_prove super_prove
^^^^^^^^^^^ ^^^^^^^^^^^
https://github.com/sterin/super-prove-build https://github.com/sterin/super-prove-build