parse-dimacs 1.3

4 Reverse deps Accepted versions
funsat >=1.2 && <2
sat-micro-hs -any
satchmo-funsat -any
toysolver -any