From 3b838085739983302dc86b19b7de07fafc82470b Mon Sep 17 00:00:00 2001 From: Yuheng Su Date: Tue, 9 Dec 2025 09:41:47 +0800 Subject: [PATCH] Update docs/source/reference.rst Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com> --- docs/source/reference.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/reference.rst b/docs/source/reference.rst index 9652f36..629345b 100644 --- a/docs/source/reference.rst +++ b/docs/source/reference.rst @@ -389,7 +389,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.