@hackage / what4

Solver-agnostic symbolic values support for issuing queries