From ca8d332ccbfbdd3d353aa3cf8697db99d55d64ab Mon Sep 17 00:00:00 2001 From: "N. Engelhardt" Date: Mon, 6 Jul 2026 18:09:43 +0200 Subject: [PATCH] make engine/solver reference more consistent --- docs/source/reference.rst | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/source/reference.rst b/docs/source/reference.rst index f2e6bd2..c06d6c0 100644 --- a/docs/source/reference.rst +++ b/docs/source/reference.rst @@ -293,6 +293,8 @@ The following mode/engine/solver combinations are currently supported: | | | | | ``btor pono`` | | | | +| | ``btor rIC3`` | +| | | | | ``abc bmc3`` | | | | | | ``abc sim3`` | @@ -300,8 +302,6 @@ The following mode/engine/solver combinations are currently supported: | | ``aiger aigbmc`` | | | | | | ``aiger rIC3`` | -| | | -| | ``btor rIC3`` | +-----------+--------------------------+ | ``prove`` | ``smtbmc [all solvers]`` | | | | @@ -410,7 +410,7 @@ solvers: +-------------------------------+---------------------------------+ | ``avy`` | ``prove`` | +-------------------------------+---------------------------------+ -| ``rIC3`` | ``prove``, ``bmc`` | +| ``rIC3`` | ``bmc``, ``prove`` | +-------------------------------+---------------------------------+ | ``aigbmc`` | ``bmc`` | +-------------------------------+---------------------------------+