cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.34.4.
--
-- see: https://github.com/sol/hpack

name:           BPS
version:        0.1.1.0
synopsis:       Translations of classic Truth Maintenance Systems
description:    Haskell monad transformer-based translations of two classic Truth Maintenance System algorithms of Forbus and de Kleer's /Building Problem Solvers/.  This version includes justification-based and assumption-based TMS (JTMS and ATMS) implementations.  See the GitHub repository <https://github.com/jphmrst/bps/>, or the Haddock documentation.
category:       Truth maintenance
homepage:       https://github.com/jphmrst/bps#readme
bug-reports:    https://github.com/jphmrst/bps/issues
author:         John Maraist
maintainer:     haskell-tms@maraist.org
copyright:      2022 John Maraist; 1986-1993 Kenneth D. Forbus, Johan de Kleer and Xerox Corporation
license:        GPL-3
license-file:   Haskell-LICENSE.txt
build-type:     Simple
extra-source-files:
    README.md
    CHANGELOG.md
    Haskell-LICENSE.txt

source-repository head
  type: git
  location: https://github.com/jphmrst/bps

library
  exposed-modules:
      Data.TMS.ATMS.ATMST
      Data.TMS.ChooseDebugging
      Data.TMS.Dbg
      Data.TMS.Formatters
      Data.TMS.Helpers
      Data.TMS.JTMS
      Data.TMS.MList
  other-modules:
      Paths_BPS
  hs-source-dirs:
      src/main/haskell/lib
  ghc-options: -w -Woverlapping-patterns -Wwarnings-deprecations -Wdeprecations -Wdeprecated-flags -Wunrecognised-pragmas -Wduplicate-exports -Wderiving-defaults -Woverflowed-literals -Wempty-enumerations -Wmissing-fields -Wmissing-methods -Wwrong-do-bind -Wtyped-holes -Wdeferred-type-errors -Wpartial-type-signatures -Wunsupported-calling-conventions -Wdodgy-foreign-imports -Winline-rule-shadowing -Wunsupported-llvm-version -Wmissed-extra-shared-lib -Wtabs -Wunrecognised-warning-flags -Winaccessible-code -Wstar-binder -Wmonomorphism-restriction -Wmissing-home-modules -Widentities -Wpartial-fields -Wmissed-specialisations -Wall-missed-specialisations -Wcpp-undef -Wunused-packages -Wunused-type-patterns -Wsafe
  build-depends:
      STMonadTrans >=0.4.6 && <0.5
    , base (>=4.14.1 && <4.15) || (>=4.15.1 && <4.16) || (>=4.16.0 && <4.17)
    , extra ==1.7.*
    , free
    , mtl >=2.2.2 && <2.3
    , resourcet
    , symbol >=0.2.4 && <0.3
    , template-haskell
    , transformers >=0.5.6 && <0.6
  default-language: Haskell2010

executable hbps
  main-is: Main.hs
  other-modules:
      ATMSTrun
      JTMSrun
      Paths_BPS
  hs-source-dirs:
      src/main/haskell/app
  ghc-options: -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      BPS
    , STMonadTrans >=0.4.6 && <0.5
    , base (>=4.14.1 && <4.15) || (>=4.15.1 && <4.16) || (>=4.16.0 && <4.17)
    , extra ==1.7.*
    , free
    , mtl >=2.2.2 && <2.3
    , resourcet
    , symbol
    , template-haskell
    , transformers >=0.5.6 && <0.6
  default-language: Haskell2010

executable hbps_profile
  main-is: Main.hs
  other-modules:
      ATMSTrun
      JTMSrun
      Paths_BPS
  hs-source-dirs:
      src/main/haskell/prof
  ghc-options: -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      BPS
    , MonadRandom
    , STMonadTrans >=0.4.6 && <0.5
    , base (>=4.14.1 && <4.15) || (>=4.15.1 && <4.16) || (>=4.16.0 && <4.17)
    , extra ==1.7.*
    , free
    , mtl >=2.2.2 && <2.3
    , resourcet
    , symbol
    , template-haskell
    , transformers >=0.5.6 && <0.6
  default-language: Haskell2010

test-suite BPS-test
  type: exitcode-stdio-1.0
  main-is: Spec.hs
  other-modules:
      ATMSTests
      JTMSTests
      Testers
      Paths_BPS
  hs-source-dirs:
      src/test/haskell
  ghc-options: -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      BPS
    , STMonadTrans >=0.4.6 && <0.5
    , TLT >=0.1.0 && <0.2
    , base (>=4.14.1 && <4.15) || (>=4.15.1 && <4.16) || (>=4.16.0 && <4.17)
    , extra ==1.7.*
    , free
    , mtl >=2.2.2 && <2.3
    , resourcet
    , symbol >=0.2.4 && <0.3
    , template-haskell
    , transformers >=0.5.6 && <0.6
  default-language: Haskell2010