package why3

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
exception AlreadyConnected
val connect_external : string -> unit
val connect_internal : unit -> unit
val is_connected : unit -> bool
exception NotConnected
val disconnect : unit -> unit
val set_max_running_provers : int -> unit
val send_request : id:int -> timelimit:int -> memlimit:int -> use_stdin:string option -> cmd:string list -> unit
type final_answer = {
  1. id : int;
  2. time : float;
  3. timeout : bool;
  4. out_file : string;
  5. exit_code : int64;
}
type answer =
  1. | Started of int
  2. | Finished of final_answer
exception InvalidAnswer of string
val read_answers : blocking:bool -> answer list
OCaml

Innovation. Community. Security.