diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-09-24 23:49:01 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-09-24 23:49:01 -0700 |
| commit | f21bafeb230d99b264b84dd316f29b45b94df034 (patch) | |
| tree | 7af2a2cfb8a6f03bfee6b7ca7a305724c2c0b6a7 /src/aig/gia/giaAiger.c | |
| parent | 55a67a115cb3d008594377cacec478fe33db4aee (diff) | |
| download | abc-f21bafeb230d99b264b84dd316f29b45b94df034.tar.gz abc-f21bafeb230d99b264b84dd316f29b45b94df034.tar.bz2 abc-f21bafeb230d99b264b84dd316f29b45b94df034.zip | |
Changing SAT sweepers (ifraig and &fraig) to be stronger by default.
Diffstat (limited to 'src/aig/gia/giaAiger.c')
0 files changed, 0 insertions, 0 deletions