@hackage yices-painless dependencies

5 results

library:yices-painless (5 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause>=0.7

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.2

@haskell/base

Core data structures and operations

BSD-3-Clause>3 && <5

@hackage/strict-concurrency

Strict concurrency abstractions

@hackage/pretty

Pretty-printing library