mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-07-09 13:00:22 +00:00
Code Activity

make engine/solver reference more consistent

Browse source
This commit is contained in:
N. Engelhardt 2026-07-06 18:09:43 +02:00
parent 29650804c1
commit ca8d332ccb
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
docs/source/reference.rst
View file

@ -293,6 +293,8 @@ The following mode/engine/solver combinations are currently supported:
| | | | | |
| | ``btor pono`` | | | ``btor pono`` |
| | | | | |
| | ``btor rIC3`` |
| | |
| | ``abc bmc3`` | | | ``abc bmc3`` |
| | | | | |
| | ``abc sim3`` | | | ``abc sim3`` |
@ -300,8 +302,6 @@ The following mode/engine/solver combinations are currently supported:
| | ``aiger aigbmc`` | | | ``aiger aigbmc`` |
| | | | | |
| | ``aiger rIC3`` | | | ``aiger rIC3`` |
| | |
| | ``btor rIC3`` |
+-----------+--------------------------+ +-----------+--------------------------+
| ``prove`` | ``smtbmc [all solvers]`` | | ``prove`` | ``smtbmc [all solvers]`` |
| | | | | |
@ -410,7 +410,7 @@ solvers:
+-------------------------------+---------------------------------+ +-------------------------------+---------------------------------+
| ``avy`` | ``prove`` | | ``avy`` | ``prove`` |
+-------------------------------+---------------------------------+ +-------------------------------+---------------------------------+
| ``rIC3`` | ``prove``, ``bmc`` | | ``rIC3`` | ``bmc``, ``prove`` |
+-------------------------------+---------------------------------+ +-------------------------------+---------------------------------+
| ``aigbmc`` | ``bmc`` | | ``aigbmc`` | ``bmc`` |
+-------------------------------+---------------------------------+ +-------------------------------+---------------------------------+