Name: presburger Version: 1.0 x-revision: 1 License: BSD3 License-file: LICENSE Author: Iavor S. Diatchki Homepage: http://github.com/yav/presburger Maintainer: diatchki@galois.com Category: Algorithms Synopsis: A decision procedure for quantifier-free linear arithmetic. Description: The decision procedure is based on the algorithm used in CVC4, which is itself based on the Omega test. Build-type: Simple Cabal-version: >= 1.6 library Build-Depends: base >= 4.5 && < 4.8, containers, pretty hs-source-dirs: src Exposed-modules: Data.Integer.SAT GHC-options: -O2 -Wall source-repository head type: git location: git://github.com/yav/presburger.git