diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-22 14:55:10 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-22 14:55:10 -0800 |
| commit | 1c51d9577df1ade3b7a8ce9cc2117ea4e938e144 (patch) | |
| tree | 35582fabc45193957156b297c6292d67a74666bd /src/sat | |
| parent | 810c0be1271e222c3caa1b5fd6b0992ad03b10a3 (diff) | |
| download | abc-1c51d9577df1ade3b7a8ce9cc2117ea4e938e144.tar.gz abc-1c51d9577df1ade3b7a8ce9cc2117ea4e938e144.tar.bz2 abc-1c51d9577df1ade3b7a8ce9cc2117ea4e938e144.zip | |
Added switch -n to 'miter' to ignore PI/PO names.
Diffstat (limited to 'src/sat')
0 files changed, 0 insertions, 0 deletions