sop-core-0.5.0.2: True Sums of Products

Index - -

-.-> Data.SOP.Classes , Data.SOP