Constraint linearity in the resource machine

Brainstorming with @vveiln

1 Like