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

docs: fix reference to aigbmc engine option

Browse source
This commit is contained in:
George Rennie 2024-08-01 17:34:54 +01:00
parent 61ca4de2da
commit 07b9b7cbb8
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]`` |
| | | | | |