Documentation

parseBLIF :: Text -> Either ParseError BLIF #

fromBLIF :: BLIF -> NetGraph Source #

toBLIF :: NetGraph -> BLIF Source #

toSubcircuit :: Gate -> Command Source #