Module Fcl_boolean

module Fcl_boolean: sig .. end

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.