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.