quasipolynomial / dre-to-dim

Converts dreadnaut to DIMACS

dre-to-dim

Converts dreadnaut to DIMACS

Requirements

Python 2.7

Usage

python dre_to_dim.py {input_dreadnaut_filepath.dre} {output_dimacs_filepath}

OR

python dre_to_dim_bulk.py {input_dreadnaut_folderpath} {output_dimacs_folderpath}