Open Toxaris opened 12 years ago
The DIMACS parser should try to extract variable names from comment lines.
The DIMACS parser should try to extract variable names from comment lines.