package why3

Package contains no libraries

val debug : Debug.flag

val is_config_command : bool ref

val list_prover_families : unit -> string list

val add_prover_binary : 
  Whyconf.config ->
  string ->
  string ->
  string ->
  Whyconf.config

type autodetection_result

val run_auto_detection : Whyconf.config -> autodetection_result

val generate_builtin_config : 
  autodetection_result ->
  Whyconf.config ->
  Whyconf.config

val generate_detected_config : 
  autodetection_result ->
  Whyconf.detected_prover list