aig-0.2.5: And-inverter graphs in Haskell.

Copyright(c) Galois Inc. 2014
LicenseBSD3
Maintainerjhendrix@galois.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Data.AIG

Description

 

Documentation