Module Lp_grb.Stat

Status of the model.

type t =
| LOADED
| OPTIMAL
| INFEASIBLE
| INF_OR_UNBD
| UNBOUNDED
| OTHER
val of_int : int -> t
val to_string : t -> string