GitHub repository: GaloisInc/abcBridge
Primary language: Haskell
Description: Haskell bindings for ABC