Conversor to WPM(1,3), dimacs format
Primary LanguagePythonGNU General Public License v3.0GPL-3.0
input: dimacs.txt output: out.txt