type problem
val solve : problem -> unit
val problem_of :
  string * Num.i_var option * Num.i_n_var list * Num.i_n_var list *
  string list -> problem