incarity4.spec 182 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10
Workflow

forallmay i True -> R += (i)
forallmay i,j (R(i)) -> S += (i,j)
forallmay i,j,k (S(i,j)) -> T += (i,j,k)
forallmay i,j,k,l (T(i,j,k)) -> U += (i,j,k,l)

Target

U(u,v,w,x)