dev-haskell/smtlib-backends-process
An SMT-LIB backend running solvers as external processes
Screenshots
View
Download
BrowseChangeLog
commit f1cccf6904d8816db3b3ae9fb33bf6591944ee98
Author: hololeap <hololeap@protonmail.com>
Date: Sun Jan 11 20:29:11 2026 -0700
*/*: Update copyright
Signed-off-by: hololeap <hololeap@protonmail.com>
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>
Author: hololeap <hololeap@protonmail.com>
Date: Sun Jan 11 20:29:11 2026 -0700
*/*: Update copyright
Signed-off-by: hololeap <hololeap@protonmail.com>
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>