GitHub repository: jwaldmann/satchmo
Primary language: Haskell
Description: SAT encoder