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: aern2-mfun version: 0.2.9.0 synopsis: Multi-variate real function optimisation and proving description: Please see the README on GitHub at category: Math homepage: https://github.com/michalkonecny/aern2#readme bug-reports: https://github.com/michalkonecny/aern2/issues author: Eike Neumann, Junaid Rasheed, Michal Konecny maintainer: mikkonecny@gmail.com copyright: 2019-2022 Eike Neumann, Junaid Rasheed, Michal Konecny license: BSD3 build-type: Simple source-repository head type: git location: https://github.com/michalkonecny/aern2 library exposed-modules: AERN2.AD.Differential AERN2.AD.GenericOperations AERN2.AD.MPBallOperations AERN2.AD.Type AERN2.BoxFun.Box AERN2.BoxFun.Optimisation AERN2.BoxFun.TestFunctions AERN2.BoxFun.Type AERN2.Linear.Matrix.Inverse AERN2.Linear.Matrix.Type AERN2.Linear.Vector.Type AERN2.Util.Util other-modules: Paths_aern2_mfun hs-source-dirs: src default-extensions: RebindableSyntax, ScopedTypeVariables, TypeFamilies, TypeOperators, ConstraintKinds, DefaultSignatures, MultiParamTypeClasses, FlexibleContexts, FlexibleInstances, UndecidableInstances other-extensions: TemplateHaskell ghc-options: -Wall build-depends: aern2-fun >=0.2.9 , aern2-mp >=0.2.9 , base ==4.* , collect-errors >=0.1.5 , mixed-types-num >=0.5.9 , vector default-language: Haskell2010 executable aern2-mfun-benchmark-optimisation main-is: bench/OptimisationBenchmark.hs other-modules: Paths_aern2_mfun default-extensions: RebindableSyntax, ScopedTypeVariables, TypeFamilies, TypeOperators, ConstraintKinds, DefaultSignatures, MultiParamTypeClasses, FlexibleContexts, FlexibleInstances, UndecidableInstances other-extensions: TemplateHaskell ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall -O2 build-depends: aern2-fun >=0.2.9 , aern2-mfun , aern2-mp >=0.2.9 , base ==4.* , collect-errors >=0.1.5 , mixed-types-num >=0.5.9 , vector default-language: Haskell2010