homepage: https://github.com/michalkonecny/aern2#readme
changelog-type: ''
hash: 2efead698c11e905e990279353d11f254ed98550f4e0058d9ba770b04ec4ae9b
test-bench-deps: {}
maintainer: mikkonecny@gmail.com
synopsis: Multi-variate real function optimisation and proving
changelog: ''
basic-deps:
  aern2-mp: '>=0.2.9'
  base: ==4.*
  collect-errors: '>=0.1.5'
  aern2-mfun: -any
  aern2-fun: '>=0.2.9'
  mixed-types-num: '>=0.5.9'
  vector: -any
all-versions:
- 0.2.9.0
author: Eike Neumann, Junaid Rasheed, Michal Konecny
latest: 0.2.9.0
description-type: haddock
description: Please see the README on GitHub at <https://github.com/michalkonecny/aern2/#readme>
license-name: BSD-3-Clause

Update from Hackage at 2022-07-14T12:48:23Z
Update from Hackage at 2022-07-14T12:48:23Z
