4 Follow the instructions below to install SymbiYosys and its dependencies.
5 Yosys, SymbiYosys, and Z3 are non-optional. The other packages are only
6 required for some engine configurations.
11 Installing prerequisites (this command is for Ubuntu 16.04):
15 sudo apt-get install build-essential clang bison flex libreadline-dev \
16 gawk tcl-dev libffi-dev git mercurial graphviz \
17 xdot pkg-config python python3 libftdi-dev gperf \
18 libboost-program-options-dev autoconf libgmp-dev \
21 Yosys, Yosys-SMTBMC and ABC
22 ---------------------------
24 http://www.clifford.at/yosys/
26 https://people.eecs.berkeley.edu/~alanmi/abc/
28 Next install Yosys, Yosys-SMTBMC and ABC (``yosys-abc``):
32 git clone https://github.com/YosysHQ/yosys.git yosys
40 https://github.com/YosysHQ/SymbiYosys
44 git clone https://github.com/YosysHQ/SymbiYosys.git SymbiYosys
51 http://yices.csl.sri.com/
55 git clone https://github.com/SRI-CSL/yices2.git yices2
65 https://github.com/Z3Prover/z3/wiki
69 git clone https://github.com/Z3Prover/z3.git z3
71 python scripts/mk_make.py
79 https://github.com/sterin/super-prove-build
83 sudo apt-get install cmake ninja-build g++ python-dev python-setuptools \
85 git clone --recursive https://github.com/sterin/super-prove-build
89 cmake -DCMAKE_BUILD_TYPE=Release -G Ninja ..
93 This creates a .tar.gz archive for the target system. Extract it to
94 ``/usr/local/super_prove``
98 sudo tar -C /usr/local -x super_prove-X-Y-Release.tar.gz
100 Then create a wrapper script ``/usr/local/bin/suprove`` with the following contents:
105 tool=super_prove; if [ "$1" != "${1#+}" ]; then tool="${1#+}"; shift; fi
106 exec /usr/local/super_prove/bin/${tool}.sh "$@"
108 And make this wrapper script executable:
112 sudo chmod +x /usr/local/bin/suprove
117 https://arieg.bitbucket.io/avy/
121 git clone https://bitbucket.org/arieg/extavy.git
123 git submodule update --init
124 mkdir build; cd build
125 cmake -DCMAKE_BUILD_TYPE=Release ..
127 sudo cp avy/src/{avy,avybmc} /usr/local/bin/
132 http://fmv.jku.at/boolector/
136 git clone https://github.com/boolector/boolector
138 ./contrib/setup-btor2tools.sh
139 ./contrib/setup-lingeling.sh
141 make -C build -j$(nproc)
142 sudo cp build/bin/{boolector,btor*} /usr/local/bin/
143 sudo cp deps/btor2tools/bin/btorsim /usr/local/bin/