Module Goals.Conjunto

module Conjunto: sig .. end

val indomain : Var.SetFd.t -> Goals.t

Non-deterministic instantiation of set variables (refine of Gervet's Conjunto).