From c3f6986aadd9ef0804123744d0c2a878f48bc3a8 Mon Sep 17 00:00:00 2001 From: Yuheng Su Date: Tue, 9 Dec 2025 09:42:23 +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 629345b..5c3f95e 100644 --- a/docs/source/reference.rst +++ b/docs/source/reference.rst @@ -408,7 +408,7 @@ solvers: +-------------------------------+---------------------------------+ | ``avy`` | ``prove`` | +-------------------------------+---------------------------------+ -| ``rIC3`` | ``prove``,``bmc`` | +| ``rIC3`` | ``prove``, ``bmc`` | +-------------------------------+---------------------------------+ | ``aigbmc`` | ``bmc`` | +-------------------------------+---------------------------------+