-- Initial DifferenceLogic.cabal generated by cabal init.  For further 
-- documentation, see http://haskell.org/cabal/users-guide/

name:                DifferenceLogic
version:             0.1.0.4
synopsis:            A theory solver for conjunctions of literals in difference logic
description:         This package contains a theory solver for conjunctions of literals
		     in difference logic. The logic supports predicates:
		     >
		     <
		     >=
		     <=
		     =
		     It does not currently support disequality
license:             BSD3
license-file:        LICENSE
author:              Dillon Huff
maintainer:          dillonhuff@gmail.com
homepage:	     https://github.com/dillonhuff/DifferenceLogic
-- copyright:           
category:            Math
build-type:          Simple
cabal-version:       >=1.8

library
  exposed-modules:     DifferenceLogic.Solver
  -- other-modules:       
  build-depends:       base ==4.6.*, containers ==0.5.*, HUnit ==1.2.*, fgl, FirstOrderTheory
  hs-source-dirs:      src