Courses/CS 460/Fall 2005/Homework/Xuong Tsan/Nov 12

From CSWiki

Nov 12 homework solutions

Contents 1 Homework Page 2 Math 015

[edit] Homework Page

Homework page is: | http://cs.calstatela.edu/~wiki/index.php/Courses/CS_460/Fall_2005/Homework/Xuong_Tsan

[edit] Math 015

% Fill in the numbers 1,2,3,4,5,6,7,8,9 into boxes to make the equaltion work
% __ x _ = ___ = __ * _
local
   proc {Math015 Solution}
      A B C D E F G H I
      Vars = [A B C D E F G H I ]
   in
      Solution = [a#A b#B c#C d#D e#E f#F g#G h#H i#I]
      Vars ::: 1#9                                      
      {FD.distinct Vars}
    
      (10*A+B) * C =: D*100 + E*10 + F
      D*100 + E*10 + F =: (G*10+H) * I
      {FD.distribute ff Vars}
   end
in
   {Browse {SearchAll Math015}}
end