what4 alternatives and similar packages
Based on the "Formal Methods" category.
Alternatively, view what4 alternatives based on common mentions on social networks and blogs.
hermit9.0 0.0 what4 VS hermitHaskell Equational Reasoning Model-to-Implementation Tunnel
sbvPlugin8.1 0.0 what4 VS sbvPluginFormally prove properties of Haskell programs using SBV/SMT.
smtlib26.7 0.0 what4 VS smtlib2SMTLib2 interface implementation for Haskell
SmtLib6.0 0.0 what4 VS SmtLibParser for smt-lib Command responses
afv5.0 0.0 what4 VS afvC model checking.
theoremquest4.6 0.0 what4 VS theoremquestA common library for TheoremQuest, a theorem proving game.
tptp4.2 0.0 what4 VS tptpParser and pretty printer for the TPTP language
acl23.4 0.0 what4 VS acl2Writing and calling ACL2 from Haskell.
Clean code begins in your IDE with SonarLint
Do you think we are missing an alternative of what4 or a related project?
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).