val t : t Ctypes.structure G.typval tol_int : (float, t Ctypes.structure) G.fieldval tol_obj : (float, t Ctypes.structure) G.fieldval tm_lim : (int, t Ctypes.structure) G.fieldval out_frq : (int, t Ctypes.structure) G.fieldval out_dly : (int, t Ctypes.structure) G.fieldval cb_func : (unit Ctypes_static.ptr, t Ctypes.structure) G.fieldval cb_info : (unit Ctypes_static.ptr, t Ctypes.structure) G.fieldval cb_size : (int, t Ctypes.structure) G.fieldval mip_gap : (float, t Ctypes.structure) G.fieldval mir_cuts : (bool, t Ctypes.structure) G.fieldval gmi_cuts : (bool, t Ctypes.structure) G.fieldval cov_cuts : (bool, t Ctypes.structure) G.fieldval clq_cuts : (bool, t Ctypes.structure) G.fieldval presolve : (bool, t Ctypes.structure) G.fieldval binarize : (bool, t Ctypes.structure) G.fieldval fp_heur : (bool, t Ctypes.structure) G.fieldval ps_heur : (bool, t Ctypes.structure) G.fieldval ps_tm_lim : (int, t Ctypes.structure) G.fieldval sr_heur : (bool, t Ctypes.structure) G.fieldval use_sol : (bool, t Ctypes.structure) G.fieldval save_sol : (string, t Ctypes.structure) G.fieldval alien : (bool, t Ctypes.structure) G.fieldval flip : (bool, t Ctypes.structure) G.field