name:                RSolve
version:             0.1.0.1
synopsis:            A general solver for equations
description:         A general solver for type checkers of programming languages
                     and real world puzzles with complex constraints.
homepage:            https://github.com/thautwarm/Rsolver#readme
license:             MIT
license-file:        LICENSE
author:              thautwarm
maintainer:          twshere@outlook.com
copyright:           2018 thautwarm
category:            Language
build-type:          Simple
cabal-version:       >=1.10
extra-source-files:  README.md

source-repository head
  type:     git
  location: https://github.com/thautwarm/Rsolver.git

library
  hs-source-dirs:      src
  default-language:    Haskell2010
  build-depends:       base >= 4 && < 5
                     , containers
  exposed-modules:     RSolve.BrMonad
                     , RSolve.Infr
                     , RSolve.Logic
                     , RSolve.HM.Core
                     , RSolve.Options.Core

-- executable RSolveExample
--   hs-source-dirs:      src
--   main-is:             Main.hs
--   build-depends:       base >= 4 && < 5
--                      , RSolve
--                      , containers
--   default-language:    Haskell2010
--   other-modules:       RSolve.HM.Example
--                      , RSolve.Options.Example