smtlib2
1.0
Only display out-of-date packages.
4 Reverse deps
Accepted versions
smtlib2-debug
>=1.0 && <1.1
smtlib2-pipe
==1.0.*
smtlib2-quickcheck
>=1.0 && <1.1
smtlib2-timing
>=1.0 && <1.1