Popularity
9.5
Growing
Activity
8.0
Growing
155
25
13
Monthly Downloads: 62
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
what4 alternatives and similar packages
Based on the "Formal Methods" category.
Alternatively, view what4 alternatives based on common mentions on social networks and blogs.
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
Promo
coderabbit.ai
Do you think we are missing an alternative of what4 or a related project?
README
What4 is a library for representing symbolic terms and communicating with satisfiability and SMT solvers (e.g. Yices and Z3).
It was originally a part of the Crucible project, but has found use cases that are independent of its original purpose as the representation language for the Crucible symbolic simulator, and has thus been split out into a separate repository.
For an overview of What4 and how to use it, please see the package-level [README](what4/README.md).