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/base/abci/abcCut.c | |
| 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/base/abci/abcCut.c')
0 files changed, 0 insertions, 0 deletions