parse-dimacs
1.3
Only display out-of-date packages.
3 Reverse deps
Accepted versions
funsat
>=1.2 && <2
sat-micro-hs
>=0
satchmo-funsat
>=0