Conversor to WPM(1,3), dimacs format
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
input: dimacs.txt output: out.txt
License:GNU General Public License v3.0