package facile

  1. Overview
  2. Docs
val subset : Var.SetFd.t -> Var.SetFd.t -> Cstr.t
val cardinal : Var.SetFd.t -> Var.Fd.t
val smallest : Var.SetFd.t -> Var.Fd.t
val all_disjoint : Var.SetFd.t array -> Cstr.t
val disjoint : Var.SetFd.t -> Var.SetFd.t -> Cstr.t
val inside : int -> Var.SetFd.t -> unit
val outside : int -> Var.SetFd.t -> unit
val inf_min : Var.SetFd.t -> Var.SetFd.t -> Cstr.t
val order : Var.SetFd.t -> Var.SetFd.t -> Cstr.t
val order_with_card : Var.SetFd.t -> Var.Fd.t -> Var.SetFd.t -> Var.Fd.t -> Cstr.t
val member : Var.SetFd.t -> SetDomain.elt list -> Cstr.t
val mem : Var.Fd.t -> Var.SetFd.t -> Cstr.t
val sum_weight : Var.SetFd.t -> (int * int) list -> Var.Fd.t
val atmost1 : Var.SetFd.t array -> int -> unit
OCaml

Innovation. Community. Security.