From c4ed754ff8a87f5d4fe5e1c1300f27ddf5147c1f Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Tue, 23 Jun 2026 10:51:21 +0200 Subject: [PATCH] Fix documentation --- 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 80b71d9..f2e6bd2 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`` | +-------------------------------+---------------------------------+