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.