6 years ago
I am using the binary aig format for importing.
It knows only about `and' and `inverter' gates.
During optimization the safety terms get dropped
(the AB in: Ax + B~x + AB)
Should I use a different import format?
I'd like to end up with a .pla file or
similar in the end.
If you think this is offtopic feel free
to suggest another ng...