Eddie Hung 3247442bf9 Revert "Revert "Fix omode which inserts an output if none exists (otherwise abc9 breaks)"" ...

This reverts commit 8f0c1232d7.

2019-08-28 17:34:00 -07:00

..

aiger.cc

Also fix write_aiger for UB

2019-06-28 09:55:07 -07:00

Makefile.inc

Add write_xaiger

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

xaiger.cc

Revert "Revert "Fix omode which inserts an output if none exists (otherwise abc9 breaks)""

2019-08-28 17:34:00 -07:00