Add note: Semantics defined only for canonical sat/dsat#46
Open
dgpv wants to merge 1 commit intosipa:masterfrom
Open
Add note: Semantics defined only for canonical sat/dsat#46dgpv wants to merge 1 commit intosipa:masterfrom
dgpv wants to merge 1 commit intosipa:masterfrom