Converts between the text based DIMACS CNF file format and the compressed binary Cnfpack format
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool