Support for multiplication predicate X * Y == Z.
Support for multiplication predicate X * Y == Z.

eomahony/Numberjack,JElchison/Numberjack,eomahony/Numberjack,JElchison/Numberjack,eomahony/Numberjack,eomahony/Numberjack,eomahony/Numberjack,JElchison/Numberjack,JElchison/Numberjack,JElchison/Numberjack