Decision procedures for Presburger arithmetic in Haskell - View it on GitHub