name:                stp
version:             0.1.0.0
synopsis:            Simple Theorem Prover
copyright:           (c) 2018 Boro Sitnikovski
homepage:            https://github.com/bor0/stp
license:             BSD3
license-file:        LICENSE
author:              Boro Sitnikovski
maintainer:          buritomath@gmail.com
category:            Math
build-type:          Simple
extra-source-files:  CHANGELOG.md
cabal-version:       >=1.10
description:
    Simple Theorem Prover constructs a proof tree
    and searches for a target/conclusion given a
    list of rewrite rules and axioms/theorems.
extra-source-files:
    CHANGELOG.md
    README.md
    LICENSE

source-repository head
    type: git
    location: https://github.com/bor0/stp

source-repository this
    type: git
    tag: 0.1.0.0
    location: https://github.com/bor0/stp

library
    exposed-modules:     SimpleTheoremProver
    build-depends:       base >=4.11 && <4.12
                         , containers ==0.5.11.0
    hs-source-dirs:      src
    default-language:    Haskell2010

executable mu-test
    main-is:             MU.hs
    build-depends:       base >=4.11 && <4.12
                         , regex-compat ==0.95.1
                         , stp
    hs-source-dirs:      example
    default-language:    Haskell2010