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 |