LPPaver: An automated prover targeting problems that involve nonlinear real arithmetic
[ formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers, verification ]
[ Propose Tags ]
[ Report a vulnerability ]
Modules
- LPPaver
- Algorithm
- LPPaver.Algorithm.DNF
- LPPaver.Algorithm.Linearisation
- LPPaver.Algorithm.Type
- LPPaver.Algorithm.Util
- Constraint
- LPPaver.Constraint.Type
- LPPaver.Constraint.Util
- Algorithm
Downloads
- LPPaver-0.0.5.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.0.3.1, 0.0.5.0 |
---|---|
Change log | ChangeLog.md |
Dependencies | aern2-mfun (>=0.2.9 && <0.3), aern2-mp (>=0.2.9.1 && <0.3), base (>=4.7 && <5), collect-errors (>=0.1 && <0.2), containers (>=0.6 && <0.7), directory (>=1.3 && <1.4), filepath, LPPaver, mixed-types-num (>=0.5.10 && <0.6), optparse-applicative (>=0.16 && <0.17), parallel (>=3.2 && <3.3), pqueue (>=1.4 && <1.5), PropaFP (>=0.1.1 && <0.2), simplex-method (>=0.1 && <0.2) [details] |
License | MPL-2.0 |
Copyright | MPL-2.0 |
Author | Junaid Rasheed |
Maintainer | rasheeja@aston.ac.uk |
Category | Math, Maths, Mathematics, Formal methods, Theorem Provers, verification |
Home page | https://github.com/rasheedja/LPPaver#readme |
Bug tracker | https://github.com/rasheedja/LPPaver/issues |
Source repo | head: git clone https://github.com/rasheedja/LPPaver |
Uploaded | by JunaidRasheed at 2023-03-13T19:52:05Z |
Distributions | |
Executables | lppaver |
Downloads | 141 total (3 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] All reported builds failed as of 2023-03-13 [all 2 reports] |