Data.ABC

Library setup and teardown

initialize

unsafeCleanup

Standard ABC interface

data AIG s

type AIGLit

aigNetwork

newAIG

readAigerAsAIG

New style ABC representation

data GIA s

type GIALit

giaNetwork

newGIA

readAigerAsGIA