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

dev-haskell/smtlib-backends-process

An SMT-LIB backend running solvers as external processes

Screenshots

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

smtlib-backends-process-0.3

~amd64

doc hscolour hoogle profile test

View

Download

Browse License: MIT

Overlay: haskell

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs

ChangeLog

commit f27fc8aaa614e28a102e71030f56dd6b5f0559ea
Author: Xavier Dectot <xavier@wheredoibegin.fr>
Date: Sun Feb 23 12:10:15 2025 +0100

dev-haskell/smtlib-backends-process: new package, add 0.3

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