@hackage LPPaver0.0.5.0

An automated prover targeting problems that involve nonlinear real arithmetic

Categories
- Mathematics
License
MPL-2.0
Maintainer
rasheeja@aston.ac.uk
Links
Versions
- 0.0.5.0 Mon, 13 Mar 2023
- 0.0.3.1 Wed, 26 Oct 2022

Installation
In your cabal file:
Dependencies (12)
- base >=4.7 && <5
- containers >=0.6 && <0.7
- directory >=1.3 && <1.4
- parallel >=3.2 && <3.3
- PropaFP >=0.1.1 && <0.2
- aern2-mfun >=0.2.9 && <0.3
Dependents (0)

Please see the README on GitHub at https://github.com/rasheedja/LPPaver#readme