GitHub repository: sdiehl/haskell-picosat
Primary language: C
Description: Haskell bindings for PicoSAT solver