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

name:                EqualitySolver
version:             0.1.0.1
synopsis:            A theory solver for conjunctions of literals in the theory of uninterpreted functions with equality
-- description:         
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:     EqualitySolver.Solver
  -- other-modules:       
  build-depends:       base ==4.6.*, HUnit ==1.2.*, containers, union-find-array, mtl
  hs-source-dirs:      src