diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-13 16:35:53 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-13 16:35:53 +0700 |
| commit | 2dd6b9789d3561f1d4d5cada11c6b77aa108cca8 (patch) | |
| tree | 8cc6b0f39ef41f8faf4f6e436b867ef18b6cd5bd /src/sat/bsat/module.make | |
| parent | 6a020d6f692e95f647b89053baacbd563832bb39 (diff) | |
| download | abc-2dd6b9789d3561f1d4d5cada11c6b77aa108cca8.tar.gz abc-2dd6b9789d3561f1d4d5cada11c6b77aa108cca8.tar.bz2 abc-2dd6b9789d3561f1d4d5cada11c6b77aa108cca8.zip | |
Reduced default growth rate of vectors in the SAT solver.
Diffstat (limited to 'src/sat/bsat/module.make')
0 files changed, 0 insertions, 0 deletions