diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-31 10:22:54 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-31 10:22:54 -0700 |
commit | 770838254ad97fee3427c3954bc4617df1558335 (patch) | |
tree | 39d85ca5734830e0f3aa8334ac02e2a4dd3e3ef8 /src | |
parent | 74986b2853e31b9cb002594f3761f2c8d766b70a (diff) | |
download | abc-770838254ad97fee3427c3954bc4617df1558335.tar.gz abc-770838254ad97fee3427c3954bc4617df1558335.tar.bz2 abc-770838254ad97fee3427c3954bc4617df1558335.zip |
Increasing memory page limit in the main SAT solver.
Diffstat (limited to 'src')
-rw-r--r-- | src/sat/bsat/satSolver.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat/satSolver.c b/src/sat/bsat/satSolver.c index fa17f41c..9a0d6237 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 ); |