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

Update docs/source/reference.rst

Browse source 
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
This commit is contained in:
Yuheng Su 2025-12-09 09:42:23 +08:00 • committed by GitHub
parent 3b83808573
commit c3f6986aad
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
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

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