mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-07-02 17:46:10 +00:00
Code Activity

Fix documentation

Browse source
This commit is contained in:
Miodrag Milanovic 2026-06-23 10:51:21 +02:00
parent ff48d2b9fd
commit c4ed754ff8
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
docs/source/reference.rst
View file

@ -410,7 +410,7 @@ solvers:
+-------------------------------+---------------------------------+ +-------------------------------+---------------------------------+
| ``avy`` | ``prove`` | | ``avy`` | ``prove`` |
+-------------------------------+---------------------------------+ +-------------------------------+---------------------------------+
| ``rIC3`` | ``prove``, ``bmc`` | | ``rIC3`` | ``prove``, ``bmc`` |
+-------------------------------+---------------------------------+ +-------------------------------+---------------------------------+
| ``aigbmc`` | ``bmc`` | | ``aigbmc`` | ``bmc`` |
+-------------------------------+---------------------------------+ +-------------------------------+---------------------------------+