RSolve-0.1.0.1: RSolve.cabal
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