add DIMACS conversion