Stacy X PU

Results 1 issues of Stacy X PU

The following can be recognized by dmcp. ``` A = Variable((2,2)) L = Variable((2,2)) Y = Variable((2,2)) expr = trace(Y.T * A) prob = Problem(Minimize(expr), [Y == L.T * A])...