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