fixedarity20.spec 670 Bytes
 Christian Müller committed May 15, 2017 1 2 ``````Workflow `````` Christian Müller committed Mar 21, 2019 3 4 5 ``````forall i,j O(i,j) -> A += (i,j) forall i,j A(i,j) -> RB += (i,j) forall i,j RB(i,j) -> C += (i,j) `````` Christian Müller committed May 15, 2017 6 7 8 9 10 ``````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) `````` Christian Müller committed Mar 21, 2019 11 12 ``````forall i,j H(i,j) -> HI += (i,j) forall i,j HI(i,j) -> J += (i,j) `````` Christian Müller committed May 15, 2017 13 14 15 16 ``````forall i,j J(i,j) -> K += (i,j) forall i,j K(i,j) -> L += (i,j) forall i,j L(i,j) -> M += (i,j) forall i,j M(i,j) -> N += (i,j) `````` Christian Müller committed May 16, 2017 17 ``````forall i,j N(i,j) -> P += (i,j) `````` Christian Müller committed May 15, 2017 18 19 20 21 ``````forall i,j P(i,j) -> Q += (i,j) forall i,j Q(i,j) -> R += (i,j) forall i,j R(i,j) -> S += (i,j) forall i,j S(i,j) -> T += (i,j) `````` Christian Müller committed May 16, 2017 22 ``````forall i,j T(i,j) -> U += (i,j) `````` Christian Müller committed May 15, 2017 23 24 25 `````` Target `````` Christian Müller committed May 16, 2017 26 ``U(x,y)``