@hackage / smtlib-backends-z3

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

Latest0.3.1

Dependencies

library:smtlib-backends-z3 (3 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.14 && <4.23
- License: BSD-3-Clause
@hackage / smtlib-backends Low-level functions for SMT-LIB-based interaction with SMT solvers.
- Version: >=0.3 && <0.5
- License: MIT
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.10.12 && <0.13
- License: BSD-3-Clause

test:test (7 dependencies)