sop-core-0.5.0.0: True Sums of Products

Index - :

:*Data.SOP.NP, Data.SOP
:.:Data.SOP.BasicFunctors, Data.SOP