simple-smt 0.9.4

1 Reverse dep Accepted versions
cryptol >=0.7.1