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, Bitwuzla, 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
, Propose Tags
License: BSD-3-Clause
Latest release: 5 months ago
First release: about 5 years ago
Dependent packages: 9
Dependent repositories: 18
Downloads: 4,835 total
Stars: 165 on GitHub
Forks: 13 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: 9 days ago