Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Installing <strong>Yosys</strong>-<strong>SMTBMC</strong><br />
(Ubuntu 16.04)<br />
●<br />
Install prerequisites:<br />
– sudo aptget install buildessential clang bison flex \<br />
libreadlinedev gawk tcldev libffidev git mercurial \<br />
graphviz xdot pkgconfig python3<br />
●<br />
Build and install <strong>Yosys</strong> (incl. <strong>Yosys</strong>-<strong>SMTBMC</strong>):<br />
– git clone https://github.com/cliffordwolf/yosys<br />
– cd yosys; make<br />
– sudo make install<br />
●<br />
Build and install the Z3 SMT solver:<br />
– git clone https://github.com/Z3Prover/z3<br />
– cd z3; python scripts/mk_make.py<br />
– cd build; make<br />
– sudo make install