LPPaver-0.0.3.1: An automated prover targeting problems that involve nonlinear real arithmetic
Please see the README on GitHub at https://github.com/rasheedja/LPPaver#readme
- LPPaver
- Constraint
- LPPaver.Constraint.Type Defines the
Constraint
type - LPPaver.Constraint.Util Utility functions for the
Constraint
type
- LPPaver.Constraint.Type Defines the
- Decide
- LPPaver.Decide.Algorithm Algorithms for deciding DNFs
- LPPaver.Decide.Linearisation Linearisations for conjunctions
- LPPaver.Decide.Util Utility functions for LPPaver.Decide modules
- Constraint