Description
Provides solver-agnostic symbolic value support for issuing queries from Haskell. Symbolic values let tools describe constraints and ask external solvers about possible program or data states.
It is useful for verification, symbolic execution, program analysis, theorem-aided tooling, and security research. Results depend on solver capabilities and on how accurately constraints model the real problem.