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

Data.ABC.Internal.VecPtr

Description

Incomplete. Binding of misc/vec/vecPtr.h for manipulating vectors of pointers.

Documentation