package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module BddToSnax : sig ... end
val load_cnf : ?sort:bool -> ?simpl:bool -> string -> CnfTypes.file
val wap_solver : ?verbose:bool -> Snowflake.Wap_exchange.input -> Snowflake.Wap_exchange.output
val conj_to_snax : t -> int -> f array -> Snax.ssystem
val conj_to_v : t -> int -> f array -> string -> unit
val to_pure_file : Ldd_B_o_u.LDD.G1.G.manager -> Ldd_B_o_u.LDD.G1.G.edge' list -> string -> unit
val dump_rbtf : t -> int -> f array -> CnfUtils.CnfRbtf.mode_out -> string -> unit
val main_bpp_synthesis : string -> CnfUtils.CnfRbtf.mode_out -> string -> unit
val main_debug : string -> ?bucketize_mode:GuaCaml.Tools.prio_t -> ?file_frp:string option -> ?file_bpp:string option -> string -> unit
val main_perf_bpp : ?bucketize_mode:GuaCaml.Tools.prio_t -> string -> CnfUtils.CnfRbtf.mode_out -> string -> unit
val main_perf_bpp_aqeops : string -> CnfUtils.CnfRbtf.mode_out -> string -> unit
val main_perf_bpp_aqeops_d4 : string -> CnfUtils.CnfRbtf.mode_out -> string -> unit
val main_perf_frp : string -> string -> unit
val main_perf_dummy : string -> string -> unit