what4
Solver-agnostic symbolic values support for issuing queries
homepage ↗ hackage: what4 github: GaloisInc/what4
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| haskell GitHub ↗ | 1.7 | 1 | 2 d | details › |
Versions & arches
Use flags of 1.7
- drealtestdisable when running solver tests, disable testing using dReal (ignored unless -fsolverTests)
- solvertests extra tests that require all the solvers to be installed
- stptestdisable when running solver tests, disable testing using STP (ignored unless -fsolverTests)