abcBridge-0.15: 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 HaskellSafe
LanguageHaskell98

Data.ABC.Internal.CNF

Description

 

Synopsis

Documentation

type Cnf_Dat_t = Ptr Cnf_Dat_t_ Source

withCnfDerive :: Aig_Man_t -> CInt -> (Cnf_Dat_t -> IO a) -> IO a Source

Use results on cnfDerive in a comptuation, then free them.

cnfManStart :: IO Cnf_Man_t Source

Create a new CNF manager.