# LPPaver: An automated prover targeting problems that involve nonlinear real arithmetic

[ formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers, verification ]
[ Propose Tags ]

## Modules

*LPPaver**Algorithm*- LPPaver.Algorithm.DNF
- LPPaver.Algorithm.Linearisation
- LPPaver.Algorithm.Type
- LPPaver.Algorithm.Util

*Constraint*- LPPaver.Constraint.Type
- LPPaver.Constraint.Util

## 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 | NixOS:0.0.5.0 |

Executables | lppaver |

Downloads | 52 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] |