LPPaver
Version 0.0.5.0 revision 0 uploaded by JunaidRasheed.
Package meta
- Synopsis
- An automated prover targeting problems that involve nonlinear real arithmetic
- Description
Please see the README on GitHub at https://github.com/rasheedja/LPPaver#readme
- Author
- Junaid Rasheed
- Bug reports
- https://github.com/rasheedja/LPPaver/issues
- Category
- Math, Maths, Mathematics, Formal methods, Theorem Provers, verification
- Copyright
- MPL-2.0
- Homepage
- https://github.com/rasheedja/LPPaver#readme
- Maintainer
- rasheeja@aston.ac.uk
- Package URL
- n/a
- Stability
- n/a