package Snowflake

  1. Overview
  2. Docs
val wap_of_system : MLBDD.man -> int list -> MLBDD.t list -> Wap_exchange.input
val default_wap_solver : wap_solver
val compute : ?verbose:int -> ?wap_solver:wap_solver -> ?support_consistency:bool -> MLBDD.man -> int list -> MLBDD.t list -> MLBDD.t