From 07b9b7cbb84c518fc2c51e4b641e45ce14e5cf29 Mon Sep 17 00:00:00 2001 From: George Rennie Date: Thu, 1 Aug 2024 17:34:54 +0100 Subject: [PATCH] docs: fix reference to aigbmc engine option --- 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 083c7f01..61fd7a98 100644 --- a/docs/source/reference.rst +++ b/docs/source/reference.rst @@ -236,7 +236,7 @@ The following mode/engine/solver combinations are currently supported: | | | | | ``abc sim3`` | | | | -| | ``aiger smtbmc`` | +| | ``aiger aigbmc`` | +-----------+--------------------------+ | ``prove`` | ``smtbmc [all solvers]`` | | | |