@hackage aern2-mfun0.2.9.0
Multi-variate real function optimisation and proving
Categories
License
BSD-3-Clause
Maintainer
mikkonecny@gmail.com
Links
Versions
- 0.2.9.0 Thu, 14 Jul 2022
Installation
Dependencies (6)
- aern2-fun >=0.2.9
- aern2-mp >=0.2.9
- base >=4 && <5
- collect-errors >=0.1.5
- mixed-types-num >=0.5.9
- vector Show all…
Dependents (2)
@hackage/LPPaver, @hackage/PropaFP
Please see the README on GitHub at https://github.com/michalkonecny/aern2/#readme