let fatal fmt =
  Printf.kprintf (fun s ->
    Format.printf "Error: %s (%s)@." 
      (OptParse.Opt.get Options.solver) (OptParse.Opt.get Options.criteria) ;
    Format.printf "Message: %s@." s;
    exit 0
  ) fmt