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

Add avy install instructions

Browse source
This commit is contained in:
Clifford Wolf 2017-03-09 12:19:37 +01:00
parent 2b8533cf17
commit a16e90a885
1 changed files with 15 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
docs/source/quickstart.rst
View file

@ -70,14 +70,27 @@ Then create a wrapper script ``/usr/local/bin/suprove`` with the following conte
tool=super_prove; if [ "$1" != "${1#+}" ]; then tool="${1#+}"; shift; fi tool=super_prove; if [ "$1" != "${1#+}" ]; then tool="${1#+}"; shift; fi
exec /usr/local/super_prove/bin/${tool}.sh "$@" exec /usr/local/super_prove/bin/${tool}.sh "$@"
Avy
~~~
.. code-block:: text
git clone https://bitbucket.org/arieg/extavy.git
cd extavy
git submodule update --init
mkdir build; cd build
cmake -DCMAKE_BUILD_TYPE=Release ..
make -j$(nproc)
sudo cp avy/src/{avy,avybmc} /usr/local/bin/
Other packages Other packages
~~~~~~~~~~~~~~ ~~~~~~~~~~~~~~
Until I find the time to write install guides for this packages, the following links must suffice: Until I find the time to write install guides for the following packages, this
links must suffice:
* Yices2: http://yices.csl.sri.com/ * Yices2: http://yices.csl.sri.com/
* Boolector: http://fmv.jku.at/boolector/ * Boolector: http://fmv.jku.at/boolector/
* Avy: https://arieg.bitbucket.io/avy/
* AIGER: http://fmv.jku.at/aiger/ * AIGER: http://fmv.jku.at/aiger/
First step: A simple BMC example First step: A simple BMC example