@hackage smt-lib dependencies

2 results

library:smt-lib (2 dependencies)

@haskell/base

Core data structures and operations

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

@hackage/polyparse

A variety of alternative parser combinator libraries.

LicenseRef-LGPL>=1.4