GitHub - GaloisInc/aig: Provides an interface for AIGs and word-level operations on them

GaloisInc / aig Public

Notifications You must be signed in to change notification settings
Fork 3
Star 7

Provides an interface for AIGs and word-level operations on them

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 89 Commits
src/Data		src/Data
tests		tests
.gitignore		.gitignore
LICENSE		LICENSE
README		README
Setup.hs		Setup.hs
aig.cabal		aig.cabal
cabal.project.dist		cabal.project.dist

Repository files navigation

A Haskell Interface for And-Inverter Graphs
-------------------------------------------

This package provides a generic interfaces for working
with And-Inverter graphs (AIGs) in Haskell.  And-Inverter graphs
are a useful format for representing combinatorial and
sequential boolean circuits in a way that is amenable to
simulation and analysis.

These interfaces allow clients to write code that can create
and use AIGs without depending on a particular AIG package.
The [abcBridge package][abcBridge] provides an instance of this API that binds
to the [ABC][ABC] library.

[abcBridge]: http://github.com/GaloisInc/abcBridge
[ABC]: http://www.eecs.berkeley.edu/~alanmi/abc/