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

Remove AIGER from install section

Browse source
This commit is contained in:
Clifford Wolf 2017-09-21 02:02:31 +02:00
parent 6d0183f6c6
commit 27da852e38
1 changed files with 0 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
docs/source/quickstart.rst
View file

@ -122,14 +122,6 @@ http://fmv.jku.at/boolector/
make make
sudo cp boolector/bin/boolector /usr/local/bin/boolector sudo cp boolector/bin/boolector /usr/local/bin/boolector
Other packages
~~~~~~~~~~~~~~
Until I find the time to write install guides for the following packages, this
links must suffice:
* AIGER: http://fmv.jku.at/aiger/
First step: A simple BMC example First step: A simple BMC example
-------------------------------- --------------------------------