GitHub repository: GaloisInc/aig
Primary language: Haskell
Description: Provides an interface for AIGs and word-level operations on them