Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : what4
What4 is a generic library for representing values as symbolic formulae which may contain references to symbolic values, representing unknown variables. It provides support for communicating with a variety of SAT and SMT solvers, including Z3, CVC4, CVC5, Yices, Boolector, STP, and dReal. The data representation types make heavy use of GADT-style type indices to ensure type-correct manipulation of symbolic values.
Registry
-
Source
- JSON
purl: pkg:hackage/what4
Keywords: bsd3, formal-methods, library, program, smt, symbolic-computation, theorem-provers
License: BSD-3-Clause
Latest release: 7 months ago
First release: almost 4 years ago
Dependent packages: 9
Dependent repositories: 18
Downloads: 3,843 total
Stars: 146 on GitHub
Forks: 12 on GitHub
Total Commits: 829
Committers: 34
Average commits per author: 24.382
Development Distribution Score (DDS): 0.618
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 6 days ago