Khashayar Neshat
Results
2
comments of
Khashayar Neshat
@blegat is there any change regarding this issue? I saw #355 was merged.
Do you happen to have any new updates? I am still not able to use symmetry reduction in SumOfSquares properly.