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