jix / cnfpack

Converts between the text based DIMACS CNF file format and the compressed binary Cnfpack format

Geek Repo

Github PK Tool