mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-20 04:43:39 +00:00
Code Activity

enable try-push-block

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-01-27 17:42:33 -08:00
parent 0677eb1c05
commit 93541ccdf2
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/math/polysat/search_state.h
View file

@ -149,7 +149,7 @@ namespace polysat {
} }
bool next() { 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(); try_push_block();
#endif #endif
if (current > last()) { if (current > last()) {