simpleChoice.spec 56 Bytes
Newer Older
1 2
Workflow

Christian Müller's avatar
Christian Müller committed
3
forall x,s
4 5 6 7 8
	O(s) -> R += (x,s)

Target

R(x,s)