GitHub repository: yav/presburger
Primary language: Haskell
Description: Decision procedures for Presburger arithmetic in Haskell