Constrain

Kind: stage

Record: stage:constrain

Canonical: Reasoning

What is it for?

Listed in Loop stages, after Act and before Verify.

Axis

Contracts

Edges

Contained in

Linked from