@hackage aern2-mfun0.2.9.0

Multi-variate real function optimisation and proving

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
mikkonecny@gmail.com
Links
Versions
- 0.2.9.0 Thu, 14 Jul 2022

Please see the README on GitHub at https://github.com/michalkonecny/aern2/#readme

Installation
In your cabal file:
Dependencies (6)
- base >=4 && <5
- vector
- aern2-fun >=0.2.9
- aern2-mp >=0.2.9
- collect-errors >=0.1.5
- mixed-types-num >=0.5.9
Dependents (2)
@hackage/LPPaver, @hackage/PropaFP