dev-haskell/smtlib-backends
Low-level functions for SMT-LIB-based interaction with SMT solvers
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 ef1e01642b0510cc7fdb35e03fbb54f86f11a8e4
Author: Xavier Dectot <xavier@wheredoibegin.fr>
Date: Sun Feb 23 11:59:33 2025 +0100
dev-haskell/smtlib-backends: new package, add 0.4
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 ef1e01642b0510cc7fdb35e03fbb54f86f11a8e4
Author: Xavier Dectot <xavier@wheredoibegin.fr>
Date: Sun Feb 23 11:59:33 2025 +0100
dev-haskell/smtlib-backends: new package, add 0.4
Signed-off-by: Xavier Dectot <xavier@wheredoibegin.fr>