diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-25 10:24:57 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-25 10:24:57 -0700 |
| commit | 0b7734ca99c4c2eebcaa2c917d1d330f78f76154 (patch) | |
| tree | cd1765650ae16bbc8a95818a7be41c2e743426bc /src/aig/gia | |
| parent | 45bf6324528bbaf60f8239da1ecac9cfa4e07c00 (diff) | |
| download | abc-0b7734ca99c4c2eebcaa2c917d1d330f78f76154.tar.gz abc-0b7734ca99c4c2eebcaa2c917d1d330f78f76154.tar.bz2 abc-0b7734ca99c4c2eebcaa2c917d1d330f78f76154.zip | |
Added switch 'satclp -Z' to control the max size of the cone to work with (fix overlow).
Diffstat (limited to 'src/aig/gia')
0 files changed, 0 insertions, 0 deletions