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/satTruth.h | |
| 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/satTruth.h')
0 files changed, 0 insertions, 0 deletions