Jannis Harder 5fb1223861 Merge pull request #3733 from AdamHillier/aiger-inputs ...

Add outputs before inputs to the sigmap in the AIGER backend.

2023-05-22 16:09:15 +02:00

..

aiger.cc

Add outputs before inputs to the sigmap in the AIGER backend.

2023-04-19 11:00:51 +00:00

Makefile.inc

Add write_xaiger

2019-02-11 15:18:42 -08:00

xaiger.cc

ABC9: Cell Port Bug Patch (#3670)

2023-04-22 16:24:36 -07:00