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

name:                Smooth
version:             0.1.0.1
synopsis:            A tiny, lazy SMT solver
description:         A tiny, lazy SMT solver. This solver is based on algorithms
		     described in 'Decision Procedures: An Algorithmic Point of View'
license:             BSD3
license-file:        LICENSE
author:              Dillon Huff
maintainer:          dillonhuff@gmail.com
-- copyright:           
category:            Math
build-type:          Simple
cabal-version:       >=1.8

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