Data.AIG.Interface

Main interface classes

class IsLit l

class IsAIG l g

Helper datatypes

data Proxy l g

data SomeGraph g

data Network l g

networkInputCount

networkOutputCount

Literal representations

data LitView a

Representations of prover results

data VerifyResult

QuickCheck generators and testing

data BasicGraph s

data BasicLit s