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