diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-16 22:49:14 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-16 22:49:14 -0700 |
| commit | 0aefe77ea5dd0ac6a3773675a379aa2e592f82cc (patch) | |
| tree | 4bfdf9eb25c13a4ff966919e4a40772e7a2a1805 /src/aig/gia | |
| parent | ddd9758931ddbfd4d350e0a20efdef36fe2f4c03 (diff) | |
| download | abc-0aefe77ea5dd0ac6a3773675a379aa2e592f82cc.tar.gz abc-0aefe77ea5dd0ac6a3773675a379aa2e592f82cc.tar.bz2 abc-0aefe77ea5dd0ac6a3773675a379aa2e592f82cc.zip | |
Added command 'reconcile'.
Diffstat (limited to 'src/aig/gia')
0 files changed, 0 insertions, 0 deletions