Module Solve

module Solve: sig .. end

val solve : string -> bool * string * (string * string) list

Given a string reprensenting an equation, returns a boolean corresponding to the truth of the equation and a string containg a message to display, with for instance the witnesses, if some were computed.

val solve_file : bool -> bool -> string -> string -> unit

solve_file filename dest will process all equations in filename, and write an output in dest.res.