@hackage LPPaver dependencies

38 results

library:LPPaver (12 dependencies)

@haskell/parallel

Parallel programming library

BSD-3-Clause>=3.2 && <3.3

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause>=1.3 && <1.4

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.6 && <0.7

@haskell/base

Basic libraries

BSD-3-Clause>=4.7 && <5

@hackage/simplex-method

Implementation of the two-phase simplex method in exact rational arithmetic

BSD-3-Clause>=0.1 && <0.2

@hackage/pqueue

Reliable, persistent, fast priority queues.

BSD-3-Clause>=1.4 && <1.5

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

BSD-3-Clause>=0.16 && <0.17

@hackage/mixed-types-num

Alternative Prelude with numeric and logic expressions typed bottom-up

BSD-3-Clause>=0.5.10 && <0.6

@hackage/collect-errors

Error monad with a Float instance

BSD-3-Clause>=0.1 && <0.2

@hackage/aern2-mp

Multi-precision ball (interval) arithmetic

BSD-3-Clause>=0.2.9.1 && <0.3

@hackage/aern2-mfun

Multi-variate real function optimisation and proving

BSD-3-Clause>=0.2.9 && <0.3

@hackage/PropaFP

Auto-active verification of floating-point programs

MPL-2.0>=0.1.1 && <0.2

executable:lppaver (13 dependencies)

@haskell/parallel

Parallel programming library

BSD-3-Clause>=3.2 && <3.3

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause>=1.3 && <1.4

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.6 && <0.7

@haskell/base

Basic libraries

BSD-3-Clause>=4.7 && <5

@hackage/simplex-method

Implementation of the two-phase simplex method in exact rational arithmetic

BSD-3-Clause>=0.1 && <0.2

@hackage/pqueue

Reliable, persistent, fast priority queues.

BSD-3-Clause>=1.4 && <1.5

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

BSD-3-Clause>=0.16 && <0.17

@hackage/mixed-types-num

Alternative Prelude with numeric and logic expressions typed bottom-up

BSD-3-Clause>=0.5.10 && <0.6

@hackage/collect-errors

Error monad with a Float instance

BSD-3-Clause>=0.1 && <0.2

@hackage/aern2-mp

Multi-precision ball (interval) arithmetic

BSD-3-Clause>=0.2.9.1 && <0.3

@hackage/aern2-mfun

Multi-variate real function optimisation and proving

BSD-3-Clause>=0.2.9 && <0.3

@hackage/PropaFP

Auto-active verification of floating-point programs

MPL-2.0

@hackage/LPPaver

An automated prover targeting problems that involve nonlinear real arithmetic

MPL-2.0

test:LPPaver-test (13 dependencies)

@haskell/parallel

Parallel programming library

BSD-3-Clause>=3.2 && <3.3

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause>=1.3 && <1.4

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.6 && <0.7

@haskell/base

Basic libraries

BSD-3-Clause>=4.7 && <5

@hackage/simplex-method

Implementation of the two-phase simplex method in exact rational arithmetic

BSD-3-Clause>=0.1 && <0.2

@hackage/pqueue

Reliable, persistent, fast priority queues.

BSD-3-Clause>=1.4 && <1.5

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

BSD-3-Clause>=0.16 && <0.17

@hackage/mixed-types-num

Alternative Prelude with numeric and logic expressions typed bottom-up

BSD-3-Clause>=0.5.10 && <0.6

@hackage/collect-errors

Error monad with a Float instance

BSD-3-Clause>=0.1 && <0.2

@hackage/aern2-mp

Multi-precision ball (interval) arithmetic

BSD-3-Clause>=0.2.9.1 && <0.3

@hackage/aern2-mfun

Multi-variate real function optimisation and proving

BSD-3-Clause>=0.2.9 && <0.3

@hackage/PropaFP

Auto-active verification of floating-point programs

MPL-2.0>=0.1.1 && <0.2

@hackage/LPPaver

An automated prover targeting problems that involve nonlinear real arithmetic

MPL-2.0