cottax.core.driven.roles module

The roles the shipped contracts give their places. A role is a class, never a value; its arity is its kind’s.

class Start

Bases: PerUnknown

Where each unknown starts.

class Steps

Bases: PerProblem

Reported: how many iterations the solve took.