From d17e524a1b7b03990a83f844a91958199f68e656 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 66998df..80b71d9 100644 --- a/docs/source/reference.rst +++ b/docs/source/reference.rst @@ -410,7 +410,7 @@ solvers: +-------------------------------+---------------------------------+ | ``avy`` | ``prove`` | +-------------------------------+---------------------------------+ -| ``rIC3`` | ``prove``,``bmc`` | +| ``rIC3`` | ``prove``, ``bmc`` | +-------------------------------+---------------------------------+ | ``aigbmc`` | ``bmc`` | +-------------------------------+---------------------------------+