fixedarity10.spec 349 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
Workflow

forallmay i,j O(i,j) -> A += (i,j)
forall i,j A(i,j) -> B += (i,j)
forall i,j B(i,j) -> C += (i,j)
forall i,j C(i,j) -> D += (i,j)
forall i,j D(i,j) -> E += (i,j)
forall i,j E(i,j) -> F += (i,j)
forall i,j F(i,j) -> G += (i,j)
forall i,j G(i,j) -> H += (i,j)
forall i,j H(i,j) -> I += (i,j)
forall i,j I(i,j) -> J += (i,j)

Target

J(x,y)