sbv 8.17

10 Reverse deps Accepted versions
camfort >=8.0 && <9
copilot-sbv >=5.0
crackNum >=8.14
cryptol >=8.6 && <8.17
hevm >=8.9
linearEqSolver -any
regex-genex ==5.*
sbvPlugin >=8.13
scheduling >=8.3
verifiable-expressions >=8.0 && <9