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

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

Modules

LPPaver
Submodules
- Constraint
  Submodules
  - LPPaver.Constraint.Type Defines the Constraint type
  - LPPaver.Constraint.Util Utility functions for the Constraint type
- Decide
  Submodules
  - LPPaver.Decide.Algorithm Algorithms for deciding DNFs
  - LPPaver.Decide.Linearisation Linearisations for conjunctions
  - LPPaver.Decide.Util Utility functions for LPPaver.Decide modules