Add is_commutative and is_distributive (!457) · Merge requests · Computer Engineering / B-ASIC - Better ASIC Toolbox · GitLab

Snippets Groups Projects

Open Robier Al Kaadi requested to merge commutative into master 7 months ago

Activity

Robier Al Kaadi added 1 commit 7 months ago
added 1 commit

cf430402 - Add is_commutative and is_distributive

Compare with previous version
Robier Al Kaadi @robal695 · 7 months ago

Author Developer

Checks commutative (is_commutative) in #169 Checks distributive (is_distributive) in #169

Idk how (some sort of "symmetry") is different from is_swappable.

Please register or sign in to reply