[fireball-separation.git] / ocaml / simple.mli

type problem\r
exception Fail of int * string\r
val solve : problem -> unit\r
val problem_of :\r
  string * Num.i_var option * Num.i_n_var list * Num.i_n_var list *\r
  string list -> problem\r