@hackage smtlib-backends-z3 dependencies

10 results

Fast, compact, strict and lazy byte strings with a list interface

Core data structures and operations

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

Fast, compact, strict and lazy byte strings with a list interface

Core data structures and operations

HUnit support for the Tasty test framework.

Modern and extensible testing framework

An SMT-LIB backend implemented using Z3's C API.

Testing SMT-LIB backends.

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