Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "z3" keyword
z3 4.3.1
Bindings for the Z3 4.x Theorem Prover (https://github.com/Z3Prover/z3). Z3.Base.C provides the ...15 versions - Latest release: about 6 years ago - 16 dependent repositories - 10.7 thousand downloads total - 57 stars on GitHub - 1 maintainer
Related Keywords