mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-06-30 00:28:54 +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:41:47 +08:00 • committed by N. Engelhardt
parent 87936dd03b
commit 5b48417823
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

@ -391,7 +391,7 @@ The engine supports no engine options and supports the following solvers:
+-------------------------------+---------------------------------+
| ``pono`` | ``bmc`` |
+-------------------------------+---------------------------------+
| ``rIC3`` | ``bmc``,``prove`` |
| ``rIC3`` | ``bmc``, ``prove`` |
+-------------------------------+---------------------------------+
Solver options are passed to the solver as additional command line options.