Module Fcl_boolean

module Fcl_boolean: sig .. end
cstr bools sum returns a constraint ensuring that sum is equal to the sum of the boolean variables of the array bools. This constraint posts a demon for each variable.

val cstr : Fcl_var.Fd.t array -> Fcl_var.Fd.t -> Fcl_cstr.t
cstr bools sum returns a constraint ensuring that sum is equal to the sum of the boolean variables of the array bools. This constraint posts a demon for each variable.
val sum : Fcl_var.Fd.t array -> Fcl_var.Fd.t
sum bools returns the sum (a new variable) and posts the preceding constraint.