parse-dimacs 1.3

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