From 614670f98a9ab2d3cfcb9f364a1b06d78f63ebb0 Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Tue, 20 Mar 2018 16:11:15 -0700 Subject: Add support for CaDiCaL as eager BV SAT solver. (#1675) --- src/base/configuration.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/base/configuration.h') diff --git a/src/base/configuration.h b/src/base/configuration.h index 29f23ab18..897f234d7 100644 --- a/src/base/configuration.h +++ b/src/base/configuration.h @@ -95,6 +95,8 @@ public: static bool isBuiltWithAbc(); + static bool isBuiltWithCadical(); + static bool isBuiltWithCryptominisat(); static bool isBuiltWithReadline(); -- cgit v1.2.3