Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: hackage: smtlib-backends-tests
2 versions
Latest release: about 1 year ago
58 downloads total
View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/smtlib-backends-tests
Dependent Repos 1
tweag/smtlib-backends
A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.- * smtlib-backends-process/smtlib-backends-process.cabal
- * smtlib-backends-z3/smtlib-backends-z3.cabal
Size: 197 KB - Last synced: 3 months ago - Pushed: 3 months ago