| commit | e8d5978a761372e4fc2a2a0f7e76214fa6d0fe8f | [log] [tgz] |
|---|---|---|
| author | Trevor Hansen <trev_abroad@yahoo.com> | Tue May 17 13:05:44 2022 |
| committer | Trevor Hansen <trev_abroad@yahoo.com> | Tue May 17 13:05:44 2022 |
| tree | 5c7eefec86e49100df508ecdcaa7439aff4185e1 | |
| parent | 6a36252c9b49a5612dbae8d16ed9639933936611 [diff] |
save AIGER format of AIGs