mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-12 00:23:35 +00:00
Code Activity

Merge pull request #294 from YosysHQ/george/aigbmc_docs

Browse source 
docs: fix reference to aigbmc engine option
This commit is contained in:
Jannis Harder 2024-09-09 10:20:54 +02:00 committed by GitHub
parent 67a7821946 07b9b7cbb8
commit 8bd07192ac
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/reference.rst
View file

@ -236,7 +236,7 @@ The following mode/engine/solver combinations are currently supported:
| | | | | |
| | ``abc sim3`` | | | ``abc sim3`` |
| | | | | |
| | ``aiger smtbmc`` | | | ``aiger aigbmc`` |
+-----------+--------------------------+ +-----------+--------------------------+
| ``prove`` | ``smtbmc [all solvers]`` | | ``prove`` | ``smtbmc [all solvers]`` |
| | | | | |