Write all non-default parameter settings to a file.

Please consult the parameter section for a complete list of Gurobi parameters, including descriptions of their purposes and their minimum, maximum, and default values.

void writeParams ( String paramFile )


paramFile: Name of the file to which non-default parameter settings should be written. The previous contents are overwritten.