From a4ece21461505f84dc361f2acc45ad9c57618d96 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 25 Oct 2022 10:44:23 -0700 Subject: [PATCH] toggle enable-ternary to true --- src/sat/sat_types.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sat/sat_types.h b/src/sat/sat_types.h index 7c4e4fb73..d2e2ffc94 100644 --- a/src/sat/sat_types.h +++ b/src/sat/sat_types.h @@ -34,7 +34,7 @@ class params_ref; class reslimit; class statistics; -#define ENABLE_TERNARY false +#define ENABLE_TERNARY true namespace sat { #define SAT_VB_LVL 10