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

Merge pull request #311 from sporniket/patch-2

Browse source 
[docs] Fixes instructions for installing boolector
This commit is contained in:
Miodrag Milanović 2025-03-03 16:15:59 +01:00 committed by GitHub
parent 44c44097f8 8885582e3c
commit b6be8ad0fc
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/source/install.rst
View file

@ -96,7 +96,7 @@ https://boolector.github.io
./configure.sh ./configure.sh
make -C build -j$(nproc) make -C build -j$(nproc)
sudo cp build/bin/{boolector,btor*} /usr/local/bin/ sudo cp build/bin/{boolector,btor*} /usr/local/bin/
sudo cp deps/btor2tools/bin/btorsim /usr/local/bin/ sudo cp deps/btor2tools/build/bin/btorsim /usr/local/bin/
To use the ``btor`` engine you will need to install btor2tools from 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