@hackage smtlib2-timing dependencies

5 results

library:smtlib2-timing (5 dependencies)

@hackage/base

Core data structures and operations

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

@hackage/mtl

Monad classes for transformers, using functional dependencies

@hackage/smtlib2

A type-safe interface to communicate with an SMT solver.

GPL-3.0-only>=1.0 && <1.1

@hackage/dependent-sum

Dependent sum type

LicenseRef-PublicDomain

@hackage/time

A time library