package DAGaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val wap_of_system : MLBDD.man -> int list -> Snowflake.MlbddUInt.puint list -> Snowflake.Wap_exchange.input
val default_wap_solver : wap_solver
val compute : ?model:computing_model -> ?verbose:int -> ?wap_solver:wap_solver -> ?halt_bpp:(MLBDD.man -> MLBDD.t list -> 'res option) -> ?support_consistency:bool -> MLBDD.man -> int list -> Snowflake.MlbddUInt.puint list -> ((MLBDD.var * MLBDD.t) list, 'res option) result
OCaml

Innovation. Community. Security.