diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-24 15:49:40 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-24 15:49:40 -0700 |
| commit | 92da248e9a1400280d0e4674923e0f572465530d (patch) | |
| tree | f268ae830780fd6e1237e3d1ba819f8be960cc89 /src/base | |
| parent | b8088b901dac6531b5fa2550f0508262b961a3fe (diff) | |
| download | abc-92da248e9a1400280d0e4674923e0f572465530d.tar.gz abc-92da248e9a1400280d0e4674923e0f572465530d.tar.bz2 abc-92da248e9a1400280d0e4674923e0f572465530d.zip | |
Disallow the circiut-based solver in &scorr to run with more than 1000 conflicts.
Diffstat (limited to 'src/base')
0 files changed, 0 insertions, 0 deletions