Documentation

Init.Grind.Propagator

A user-defined propagator for the grind tactic.

Equations
    Instances For

      A builtin propagator for the grind tactic.

      Equations
        Instances For

          Auxiliary attribute for builtin grind propagators.

          Equations
            Instances For