cabal-version: 1.12

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

name:           LPPaver
version:        0.0.5.0
synopsis:       An automated prover targeting problems that involve nonlinear real arithmetic
description:    Please see the README on GitHub at <https://github.com/rasheedja/LPPaver#readme>
category:       Math, Maths, Mathematics, Formal methods, Theorem Provers, verification
homepage:       https://github.com/rasheedja/LPPaver#readme
bug-reports:    https://github.com/rasheedja/LPPaver/issues
author:         Junaid Rasheed
maintainer:     rasheeja@aston.ac.uk
copyright:      MPL-2.0
license:        MPL-2.0
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    README.md
    ChangeLog.md

source-repository head
  type: git
  location: https://github.com/rasheedja/LPPaver

library
  exposed-modules:
      LPPaver.Algorithm.DNF
      LPPaver.Algorithm.Linearisation
      LPPaver.Algorithm.Type
      LPPaver.Algorithm.Util
      LPPaver.Constraint.Type
      LPPaver.Constraint.Util
  other-modules:
      Paths_LPPaver
  hs-source-dirs:
      src
  default-extensions:
      RebindableSyntax,
      ScopedTypeVariables,
      TypeFamilies,
      TypeOperators,
      ConstraintKinds,
      DefaultSignatures,
      MultiParamTypeClasses,
      FlexibleContexts,
      FlexibleInstances,
      UndecidableInstances
  build-depends:
      PropaFP >=0.1.1 && <0.2
    , aern2-mfun >=0.2.9 && <0.3
    , aern2-mp >=0.2.9.1 && <0.3
    , base >=4.7 && <5
    , collect-errors ==0.1.*
    , containers ==0.6.*
    , directory ==1.3.*
    , mixed-types-num >=0.5.10 && <0.6
    , optparse-applicative ==0.16.*
    , parallel ==3.2.*
    , pqueue ==1.4.*
    , simplex-method ==0.1.*
  default-language: Haskell2010

executable lppaver
  main-is: app/LPPaver.hs
  other-modules:
      Paths_LPPaver
  default-extensions:
      RebindableSyntax,
      ScopedTypeVariables,
      TypeFamilies,
      TypeOperators,
      ConstraintKinds,
      DefaultSignatures,
      MultiParamTypeClasses,
      FlexibleContexts,
      FlexibleInstances,
      UndecidableInstances
  ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall -O2
  build-depends:
      LPPaver
    , PropaFP
    , aern2-mfun >=0.2.9 && <0.3
    , aern2-mp >=0.2.9.1 && <0.3
    , base >=4.7 && <5
    , collect-errors ==0.1.*
    , containers ==0.6.*
    , directory ==1.3.*
    , filepath
    , mixed-types-num >=0.5.10 && <0.6
    , optparse-applicative ==0.16.*
    , parallel ==3.2.*
    , pqueue ==1.4.*
    , simplex-method ==0.1.*
  default-language: Haskell2010

test-suite LPPaver-test
  type: exitcode-stdio-1.0
  main-is: Spec.hs
  other-modules:
      Paths_LPPaver
  hs-source-dirs:
      test
  default-extensions:
      RebindableSyntax,
      ScopedTypeVariables,
      TypeFamilies,
      TypeOperators,
      ConstraintKinds,
      DefaultSignatures,
      MultiParamTypeClasses,
      FlexibleContexts,
      FlexibleInstances,
      UndecidableInstances
  ghc-options: -threaded -rtsopts -with-rtsopts=-N
  build-depends:
      LPPaver
    , PropaFP >=0.1.1 && <0.2
    , aern2-mfun >=0.2.9 && <0.3
    , aern2-mp >=0.2.9.1 && <0.3
    , base >=4.7 && <5
    , collect-errors ==0.1.*
    , containers ==0.6.*
    , directory ==1.3.*
    , mixed-types-num >=0.5.10 && <0.6
    , optparse-applicative ==0.16.*
    , parallel ==3.2.*
    , pqueue ==1.4.*
    , simplex-method ==0.1.*
  default-language: Haskell2010