@hackage smtlib2 dependencies

7 results

library:smtlib2 (7 dependencies)

@haskell/template-haskell

Support library for Template Haskell

@haskell/mtl

Monad classes for transformers, using functional dependencies

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

BSD-3-Clause>=4 && <4.16

@hackage/dependent-sum

Dependent sum type

LicenseRef-PublicDomain

@hackage/dependent-map

Dependent finite maps (partial dependent products)

LicenseRef-OtherLicense

@hackage/constraints

Constraint manipulation