From 770838254ad97fee3427c3954bc4617df1558335 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 31 Oct 2012 10:22:54 -0700 Subject: [PATCH] Increasing memory page limit in the main SAT solver. --- src/sat/bsat/satSolver.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sat/bsat/satSolver.c b/src/sat/bsat/satSolver.c index fa17f41c9..9a0d62371 100644 --- a/src/sat/bsat/satSolver.c +++ b/src/sat/bsat/satSolver.c @@ -925,7 +925,7 @@ sat_solver* sat_solver_new(void) sat_solver* s = (sat_solver*)ABC_CALLOC( char, sizeof(sat_solver)); // Vec_SetAlloc_(&s->Mem, 15); - Sat_MemAlloc_(&s->Mem, 14); + Sat_MemAlloc_(&s->Mem, 15); s->hLearnts = -1; s->hBinary = Sat_MemAppend( &s->Mem, NULL, 2, 0, 0 ); s->binary = clause_read( s, s->hBinary );