@hackage smt-lib dependencies

4 results

library:smt-lib (4 dependencies)

@hackage/base

Core data structures and operations

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

@hackage/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

@hackage/directory

Platform-agnostic library for filesystem operations

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