lib/solver/constraints/all_different/all_different_fwc.ex
defmodule CPSolver.Constraint.AllDifferent.FWC do
use CPSolver.Constraint
alias CPSolver.Propagator.AllDifferent.FWC, as: FWCPropagator
@impl true
def propagators(x) do
[FWCPropagator.new(x)]
end
end