simple-smt 0.7.0

1 Reverse dep Accepted versions
cryptol >=0.6.0