Beaver.MLIR.Transform.Solver behaviour (beaver v0.4.8)

Optional adapter for inspecting or validating transform.smt.constrain_params.

Beaver deliberately does not choose an SMT implementation. An adapter gets the exported constraint IR and the already resolved Tune selections. It may return deterministic metadata for recording alongside the resolved schedule. The adapter does not need to mutate MLIR objects.

Summary

Callbacks

solve(list, selections, state)

Callbacks

solve(list, selections, state)

@callback solve(
  [Beaver.MLIR.Transform.Schedule.Constraint.t()],
  selections :: map(),
  state :: term()
) ::
  {:ok, metadata :: term(), new_state :: term()}
  | {:error, reason :: term(), new_state :: term()}