From 93541ccdf2cbb7a0203b996cd33d639802e847a1 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 27 Jan 2022 17:42:33 -0800 Subject: [PATCH] enable try-push-block Signed-off-by: Nikolaj Bjorner --- src/math/polysat/search_state.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/polysat/search_state.h b/src/math/polysat/search_state.h index 0d704d922..82e232ed5 100644 --- a/src/math/polysat/search_state.h +++ b/src/math/polysat/search_state.h @@ -149,7 +149,7 @@ namespace polysat { } bool next() { -#if 0 // If you want to resolve over constraints that have been added during conflict resolution, enable this. +#if 1 // If you want to resolve over constraints that have been added during conflict resolution, enable this. try_push_block(); #endif if (current > last()) {