Added initial Dimacs reader