@hackage smt-lib dependencies

4 results

library:smt-lib (4 dependencies)

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause>=1.0 && <1.1

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.0 && <5.0

@haskell/array

Mutable and immutable arrays

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

@hackage/polyparse

A variety of alternative parser combinator libraries.

LicenseRef-LGPL>=1.4