1.3 Conversion tools

BiqCrunch uses a specific input file format (see the next section for a complete description). Nevertheless an LP file format conversion tool (tools/lp2bc.py, written in Python) is provided. Moreover, for each problem, some specific tools are also provided to convert standard instances (e.g., a graph generated by rudy) to BC files. To get usage information, just run the corresponding tool without parameters. All these tools are written in standard C and can be compiled in a straightforward manner.