diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-21 17:13:39 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-21 17:13:39 -0700 |
| commit | f50ce3dbd936b77e6c44593ca46b82cd79062cf5 (patch) | |
| tree | ce5c985300b074c047a55acd07bba4054328b35d /src/sat/bsat/satSolver.c | |
| parent | 92539a91a0e8606a88232643980de18af4a2f860 (diff) | |
| download | abc-f50ce3dbd936b77e6c44593ca46b82cd79062cf5.tar.gz abc-f50ce3dbd936b77e6c44593ca46b82cd79062cf5.tar.bz2 abc-f50ce3dbd936b77e6c44593ca46b82cd79062cf5.zip | |
Switching to a variable-page-size memory manager for clauses and proofs.
Diffstat (limited to 'src/sat/bsat/satSolver.c')
| -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 1f86f2d3..cc5156d5 100644 --- a/src/sat/bsat/satSolver.c +++ b/src/sat/bsat/satSolver.c @@ -912,7 +912,7 @@ sat_solver* sat_solver_new(void) { sat_solver* s = (sat_solver*)ABC_CALLOC( char, sizeof(sat_solver)); - Vec_SetAlloc_(&s->Mem); + Vec_SetAlloc_(&s->Mem, 15); s->hLearnts = -1; s->hBinary = Vec_SetAppend( &s->Mem, NULL, 3 ) << 1; s->binary = clause_read( s, s->hBinary ); |