SymDPoly SDP relaxation framework for optimization over noncommutative polynomials. See the companion microsite.