S2T2

Jim Randell 9:19 am on 14 April 2022 Permalink Reply
Tags: by: Andrew Skidmore ( 85 )   

• 

  Jim Randell 9:20 am on 14 April 2022 Permalink | Reply

  This puzzle can be solved using the [[ SubstitutedSum ]] solver from the enigma.py library.

  The following command executes in 85ms.

  Run: [ @replit ]

  % python3 -m enigma SubstitutedSum "ANNUAL + EASTER = PARADE"
  (ANNUAL + EASTER = PARADE)
  (300632 + 138719 = 439351) / A=3 D=5 E=1 L=2 N=0 P=4 R=9 S=8 T=7 U=6
  (300732 + 138619 = 439351) / A=3 D=5 E=1 L=2 N=0 P=4 R=9 S=8 T=6 U=7
  

  Solution: PARADE = 439351.

  T and U are interchangeable, taking on the values 6 and 7.

  LikeLike

• 

  GeoffR 11:24 am on 14 April 2022 Permalink | Reply

  % A Solution in MiniZinc
  include "globals.mzn";
  
  var 1..9:A;  var 0..9:D;  var 1..9:E;  var 0..9:L; var 0..9:N;  
  var 1..9:P;  var 0..9:R;  var 0..9:S;  var 0..9:T; var 0..9:U;
  
  constraint all_different([A, D, E, L, N, P, R, S, T, U]);
  
  function var int: num6 (var int: u, var int: v, var int: w, var int: x, 
  var int: y, var int: z) = 100000*u + 10000*v + 1000*w + 100*x + 10*y + z;
  
  var 100000..999999: ANNUAL = num6(A,N,N,U,A,L);
  var 100000..999999: EASTER = num6(E,A,S,T,E,R);
  var 100000..999999: PARADE = num6(P,A,R,A,D,E);
  
  constraint ANNUAL + EASTER == PARADE;
  
  solve satisfy;
  output ["PARADE" ++ " = " ++ show(PARADE) ];
  
  % PARADE = 439351
  % ----------
  % ==========
  
  
  

  LikeLike