Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Remove other modules from cabal file, and update description

  • Loading branch information...
commit 4d6bed75bd3987e83d8289e06880de9620e5fecc 1 parent b3aaf5b
@yav authored
Showing with 4 additions and 8 deletions.
  1. +4 −8 presburger.cabal
View
12 presburger.cabal
@@ -6,8 +6,9 @@ Author: Iavor S. Diatchki
Homepage: http://github.com/yav/presburger
Maintainer: diatchki@galois.com
Category: Algorithms
-Synopsis: Cooper's decision procedure for Presburger arithmetic.
-Description: Cooper's decision procedure for Presburger arithmetic.
+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
@@ -15,12 +16,7 @@ library
Build-Depends: base < 10, containers, pretty
hs-source-dirs: src
Exposed-modules:
- Data.Integer.Presburger
- Other-modules:
- Data.Integer.Presburger.Term
- Data.Integer.Presburger.Exists
- Data.Integer.Presburger.Formula
- Data.Integer.Presburger.Div
+ Data.Integer.SAT
GHC-options: -O2 -Wall
Please sign in to comment.
Something went wrong with that request. Please try again.