diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-17 22:18:43 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-17 22:18:43 -0700 |
| commit | 06ba3d3e6ceee78cf52c024ac56287e924b00af3 (patch) | |
| tree | 27af8afc988859b7c8920318d27f6aebeef34c9f /src/opt/sfm/sfmSat.c | |
| parent | bdae7c625afaff6f9313f201096dcb7d591c2486 (diff) | |
| download | abc-06ba3d3e6ceee78cf52c024ac56287e924b00af3.tar.gz abc-06ba3d3e6ceee78cf52c024ac56287e924b00af3.tar.bz2 abc-06ba3d3e6ceee78cf52c024ac56287e924b00af3.zip | |
Adding command &filter_equiv to filter candidate equivalence classes using indexes of disproved POs after handling SRM as a multi-output miter.
Diffstat (limited to 'src/opt/sfm/sfmSat.c')
0 files changed, 0 insertions, 0 deletions