@hackage / smtlib-backends-z3

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

0.3.1

Version history