sop-core-0.5.0.2: True Sums of Products