Add DIMACS exporter of a SAT problem.