diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-30 10:41:15 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-30 10:41:15 -0700 |
| commit | 1c245b4a4aedb95c3943f792416f5a9bd781f194 (patch) | |
| tree | 5b10b868e0d966be5b4971e1b451578cc10adb6b /src/aig/gia | |
| parent | 2de8f04c0de744a3a3f0c04d9286c94a2154cc76 (diff) | |
| download | abc-1c245b4a4aedb95c3943f792416f5a9bd781f194.tar.gz abc-1c245b4a4aedb95c3943f792416f5a9bd781f194.tar.bz2 abc-1c245b4a4aedb95c3943f792416f5a9bd781f194.zip | |
Updating old script.
Diffstat (limited to 'src/aig/gia')
0 files changed, 0 insertions, 0 deletions