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

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

Data.ABC.Internal.Main

Contents

Description

Incomplete. Binding of base/main/main.h for managing the global state of the ABC library.

Synopsis

main.c

abcStart :: IO () Source

abcStop :: IO () Source