package Snowflake

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

Innovation. Community. Security.