Clifford Wolf 7931e1ebb4 Added support for more gate types to simplec back-end		2017-05-12 17:42:31 +02:00
..
aiger	…
blif	…
btor	…
edif	…
firrtl	…
ilang	…
intersynth	…
json	…
simplec	Added support for more gate types to simplec back-end	2017-05-12 17:42:31 +02:00
smt2	…
smv	…
spice	…
verilog	…