package why3

  1. Overview
  2. Docs
package why3
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
val send_interrupt : id:int -> 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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct