parse-dimacs: total reverse dependencies

Direct reverse dependenciesIndirect reverse dependenciesTotal
437
Package nameTotal reverse dependencies
acme-everything0 (view)
ersatz-toysat1 (view)
funsat2 (view)
qhull0 (view)
satchmo-funsat1 (view)
satchmo-toysat1 (view)
toysolver4 (view)