@hackage smtlib-backends-tests dependencies

4 results

library:smtlib-backends-tests (4 dependencies)

@hackage/tasty

Modern and extensible testing framework

MIT>=1.4.2 && <1.6

@hackage/base

Core data structures and operations

BSD-3-Clause>=4.14 && <4.23

@hackage/smtlib-backends

Low-level functions for SMT-LIB-based interaction with SMT solvers.

MIT>=0.3 && <0.5

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

MIT>=0.10.0 && <0.11