name:                RSolve
version:             0.1.0.0
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