sbv 9.2

11 Reverse deps Accepted versions
camfort >=8.0 && <10
copilot-sbv >=5.0
crackNum >=8.14
cryptol >=8.10 && <9.1
grisette >=8.11 && <9.1
linearEqSolver -any
regex-genex ==5.*
sbv-program ==9.0.*
sbvPlugin >=9.2
scheduling >=8.3
verifiable-expressions >=8.0 && <10