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/bsat/satSolver2.h | |
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/bsat/satSolver2.h')
0 files changed, 0 insertions, 0 deletions