From bab4c1ddfc3e7bb88d649daed8bd412a98850cf9 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 14 Nov 2020 14:23:49 -0800 Subject: Upgrading the SAT solvers. --- src/sat/glucose2/SimpSolver2.cpp | 1 + 1 file changed, 1 insertion(+) (limited to 'src/sat/glucose2/SimpSolver2.cpp') diff --git a/src/sat/glucose2/SimpSolver2.cpp b/src/sat/glucose2/SimpSolver2.cpp index 70240cb1..7c2a3b26 100644 --- a/src/sat/glucose2/SimpSolver2.cpp +++ b/src/sat/glucose2/SimpSolver2.cpp @@ -68,6 +68,7 @@ SimpSolver::SimpSolver() : ca.extra_clause_field = true; // NOTE: must happen before allocating the dummy clause below. bwdsub_tmpunit = ca.alloc(dummy); remove_satisfied = false; + parsing = 0; } -- cgit v1.2.3