From 20c3f7574082f3dd7c7011e22c8ea119c7756bff Mon Sep 17 00:00:00 2001 From: Mathias Soeken Date: Sun, 1 Mar 2020 12:55:36 +0100 Subject: [PATCH] No need to hash quaternaries for AND. --- src/sat/sat_npn3_finder.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/sat/sat_npn3_finder.cpp b/src/sat/sat_npn3_finder.cpp index d67a39bd3..699c9cf1c 100644 --- a/src/sat/sat_npn3_finder.cpp +++ b/src/sat/sat_npn3_finder.cpp @@ -354,8 +354,7 @@ namespace sat { binary_hash_table_t binaries; ternary_hash_table_t ternaries; - quaternary_hash_table_t quaternaries; - process_more_clauses(clauses, binaries, ternaries, quaternaries); + process_clauses(clauses, binaries, ternaries); const auto try_and = [&](literal w, literal x, literal y, literal z, clause &c) { if (!implies(w, ~x)) return false;