@hackage / smtlib2-timing

Get timing informations for SMT queries

Latest1.0

Dependencies

library:smtlib2-timing (5 dependencies)

@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / smtlib2 A type-safe interface to communicate with an SMT solver.
- Version: >=1.0 && <1.1
- License: GPL-3.0-only
@hackage / dependent-sum Dependent sum type
- Version:
- License: LicenseRef-PublicDomain
@hackage / time A time library
- Version:
- License: BSD-2-Clause