diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-19 02:18:32 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-19 02:18:32 -0800 |
| commit | f1a3cffe594ece1e2febbaa836cf71be3608f9c2 (patch) | |
| tree | 7f8a426b71615eed6a6c06910653a416e09c85df /src/aig/gia | |
| parent | 19b8d9bf7ca6c9d51ea829b40c46a801a1ac0e11 (diff) | |
| download | abc-f1a3cffe594ece1e2febbaa836cf71be3608f9c2.tar.gz abc-f1a3cffe594ece1e2febbaa836cf71be3608f9c2.tar.bz2 abc-f1a3cffe594ece1e2febbaa836cf71be3608f9c2.zip | |
Adding new command to generate specialized miter.
Diffstat (limited to 'src/aig/gia')
0 files changed, 0 insertions, 0 deletions