abcBridge-0.12: Bindings for ABC, A System for Sequential Synthesis and Verification

CopyrightGalois, Inc. 2010-2014
LicenseBSD3
Maintainerjhendrix@galois.com
Stabilityexperimental
Portabilitynon-portable (c2hs, language extensions)
Safe HaskellNone
LanguageHaskell98

Data.ABC.Internal.IO

Contents

Description

Binding of base/io/io.h for reading and writing networks to the file system. ABC natively supports a variety of different file formats.

Synopsis

abcReadAiger.c

ioReadAiger :: String -> Bool -> IO Abc_Ntk_t Source

abcWriteAiger.c

ioWriteAiger :: Abc_Ntk_t -> String -> Bool -> Bool -> Bool -> IO () Source