(* type problem
val problem_of : string -> string list -> problem
val solve : problem -> unit *)
val run : string -> string list -> unit