@hackage / LPPaver

An automated prover targeting problems that involve nonlinear real arithmetic

Latest0.0.5.0

Dependencies

library:LPPaver (12 dependencies)

@hackage / aern2-mfun Multi-variate real function optimisation and proving
- Version: >=0.2.9 && <0.3
- License: BSD-3-Clause
@hackage / pqueue Reliable, persistent, fast priority queues.
- Version: >=1.4 && <1.5
- License: BSD-3-Clause
@hackage / optparse-applicative Utilities and combinators for parsing command line options
- Version: >=0.16 && <0.17
- License: BSD-3-Clause
@hackage / parallel Parallel programming library
- Version: >=3.2 && <3.3
- License: BSD-3-Clause
@hackage / aern2-mp Multi-precision ball (interval) arithmetic
- Version: >=0.2.9.1 && <0.3
- License: BSD-3-Clause
@hackage / collect-errors Error monad with a Float instance
- Version: >=0.1 && <0.2
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.3 && <1.4
- License: BSD-3-Clause
@hackage / simplex-method Implementation of the two-phase simplex method in exact rational arithmetic
- Version: >=0.1 && <0.2
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.6 && <0.7
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.7 && <5
- License: BSD-3-Clause
@hackage / PropaFP Auto-active verification of floating-point programs
- Version: >=0.1.1 && <0.2
- License: MPL-2.0
@hackage / mixed-types-num Alternative Prelude with numeric and logic expressions typed bottom-up
- Version: >=0.5.10 && <0.6
- License: BSD-3-Clause

executable:lppaver (14 dependencies)

test:LPPaver-test (13 dependencies)