sop-core-0.5.0.1: True Sums of Products