The latest version of what4 is 1.6.2-0.
what4
Version 1.2.1 revision 1 uploaded by ryanglscott.
Package meta
- Synopsis
- Solver-agnostic symbolic values support for issuing queries
- Description
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, 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.
- Author
- Galois Inc.
- Bug reports
- https://github.com/GaloisInc/what4/issues
- Category
- Formal Methods, Theorem Provers, Symbolic Computation, SMT
- Copyright
- (c) Galois, Inc 2014-2021
- Homepage
- https://github.com/GaloisInc/what4
- Maintainer
- jhendrix@galois.com, rdockins@galois.com
- Package URL
- n/a
- Stability
- n/a