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