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