smtlib2 1.0

5 Reverse deps Accepted versions
copilot-theorem >=0.3 && <1.0
smtlib2-debug >=1.0 && <1.1
smtlib2-pipe ==1.0.*
smtlib2-quickcheck >=1.0 && <1.1
smtlib2-timing >=1.0 && <1.1