package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module BddToSnax : sig ... end
val load_qbf : string -> CnfTypes.file
val wap_solver : Cwap_exchange.solver
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:'a 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_frp : 'a -> 'b -> 'c
val main_perf_dummy : string -> string -> unit