defmodule CPSolver.Constraint.Modulo do
  use CPSolver.Constraint
  alias CPSolver.Propagator.Modulo, as: ModuloPropagator
  alias CPSolver.IntVariable

  def new(m, x, y) do
    new([m, x, y])
  end

  @impl true
  def arguments(args) do
    Enum.map(args, fn arg -> IntVariable.to_variable(arg) end)
  end

  @impl true
  def propagators(args) do
    [ModuloPropagator.new(args)]
  end
end