smtLib 1.0.8

2 Reverse deps Accepted versions
cryptol >=1.0.7
Hsmtlib >=1.0 && <1.1