# 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

[Index] [Quick Jump]

## Downloads

- LPPaver-0.0.3.1.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 |
---|---|

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), 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 2022-10-26T17:05:43Z |

Distributions | NixOS:0.0.3.1 |

Executables | lppaver |

Downloads | 22 total (4 in the last 30 days) |

Rating | (no votes yet) [estimated by Bayesian average] |

Your Rating | |

Status | Docs uploaded by user Build status unknown [no reports yet] |