The latest version of aig is 0.2.6-1.
aig
Version 0.2.5 revision 0 uploaded by RobertDockins.
Package meta
- Synopsis
- And-inverter graphs in Haskell.
- Description
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.
- Author
- Galois Inc.
- Bug reports
- n/a
- Category
- Data
- Copyright
- (c) 2014-2017 Galois Inc.
- Homepage
- n/a
- Maintainer
- jhendrix@galois.com
- Package URL
- n/a
- Stability
- n/a