presburger (hackage): Decision procedures for Presburger arithmetic in Haskell
Keywords: algorithms|bsd3|library