RiSE4fun samples for Formula2List of built-in samples for the Formula2 in RiSE4funen-US<a target='_blank' href='https://go.microsoft.com/?linkid=2028325'>Contact Us</a>| <a target='_blank' href='https://go.microsoft.com/fwlink/?LinkId=521839'>Privacy &amp; Cookies</a> | <a target='_blank' href='https://go.microsoft.com/fwlink/?LinkID=246338'>Terms of Use</a> | <a target='_blank' href='https://go.microsoft.com/fwlink/?LinkId=506942 '>Trademarks</a>| &copy; 2017 Microsofthttps://rise4fun.com//Images/Rise.gifRiSE4fun samples for Formula2https://rise4fun.com/Formula2/moremoneymoremoney////! sl Problem 1 MoreMoney.conforms ////! ls tasks ////! ex 0 0 out ////! p out ////! qr out MoreMoney.conforms ////! tr 1 MoreMoney.conforms //// Write a series of command comments using ////! command //// Use ////! help to see the available commands. domain MoreMoney { Problem ::= new (s: { 1..9 }, e: { 0..9 }, n: { 0..9 }, d: { 0..9 }, m: { 1..9 }, o: { 0..9 }, r: { 0..9 }, y: { 0..9 }). conforms p is Problem, (1000*p.s) + (100*p.e) + (10*p.n) + p.d + (1000*p.m) + (100*p.o) + (10*p.r) + p.e = (10000*p.m) + (1000*p.o) + (100*p.n) + (10*p.e) + p.y. conforms no { x | val(x,y), val(x,z), y != z }. val ::= ({ 0..9 }, { 0..9 }). val(p.s,0), val(p.e,1), val(p.n,2), val(p.d,3), val(p.m,4), val(p.o,5), val(p.r,6), val(p.y,7) :- p is Problem. } partial model Problem of MoreMoney { requires atleast 1 Problem. } model Solution of MoreMoney { Problem(9,5,6,7,1,0,8,2). }