Gentoo Portage Overlays - dev-haskell/smtlib-backends-z3

dev-haskell/smtlib-backends-z3

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

Screenshots

https://hackage.haskell.org/package/smtlib-backends-z3

smtlib-backends-z3-0.3.1

~amd64

doc hscolour hoogle profile test

View

Download

Browse License: MIT

Overlay: haskell

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

ChangeLog

commit ab9ff1c309c215faf34c9f60f486f8a009ef3900
Author: Xavier Dectot <xavier@wheredoibegin.fr>
Date: Sun Feb 23 12:14:49 2025 +0100

dev-haskell/smtlib-backends-z3: new package, add 0.3.1

Signed-off-by: Xavier Dectot <xavier@wheredoibegin.fr>