@hackage / what4

Solver-agnostic symbolic values support for issuing queries

1.7.3

Version history