sbv 8.1

7 Reverse deps Accepted versions
camfort >=7.0 && <8
copilot-sbv >=5.0
cryptol >=7.7 && <8
linearEqSolver >=7.3
regex-genex ==5.*
sbvPlugin >=8.0
verifiable-expressions >=7.0 && <8