Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : hz3
Fork of z3 with future-proof version-numbering scheme Bindings for the Z3 4.x Theorem Prover (https://github.com/Z3Prover/z3). Z3.Base.C provides the raw foreign imports from Z3's C API. Z3.Base does the marshaling of values between Haskell and C, and transparently handles reference counting of Z3 objects for you. Z3.Monad provides a convenient monadic wrapper for the common usage scenario. Examples: https://github.com/strake/z3.hs/tree/master/examples Changelog: https://github.com/strake/z3.hs/blob/master/CHANGES.md Installation: Unix-like: Just be sure to use the standard locations for dynamic libraries (/usr/lib) and header files (/usr/include), or else use the --extra-lib-dirs and --extra-include-dirs Cabal flags. (Hackage reports a build failure because Z3's library is missing.)
Registry
-
Source
- JSON
purl: pkg:hackage/hz3
Keywords: bit-vectors, bsd3, deprecated, formal-methods, library, math, smt, theorem-provers
License: BSD-3-Clause
Latest release: over 4 years ago
First release: over 4 years ago
Downloads: 588 total
Stars: 0 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Funding links: https://github.com/sponsors/strake
Last synced: 20 days ago