smtlib2 1.0

4 Reverse deps Accepted versions
smtlib2-debug >=1.0 && <1.1
smtlib2-pipe >=1.0 && <1.1
smtlib2-quickcheck >=1.0 && <1.1
smtlib2-timing >=1.0 && <1.1