D

dimacs

This package provides an interface to SAT solvers supporting the DIMACS format.