Decision procedures for Presburger arithmetic in Haskell
Primary LanguageHaskellMIT LicenseMIT
This repository is not active