S2T2

Jim Randell 9:07 am on 21 July 2022 Permalink Reply
Tags: by: Victor Bryant ( 139 )   

• 

  Jim Randell 9:08 am on 21 July 2022 Permalink | Reply

  We can use the [[ SubstitutedExpression ]] solver from the enigma.py library to solve this puzzle.

  The following run file executes in 64ms. The internal runtime of the generated program is 55µs).

  Run: [ @replit ]

  #! python3 -m enigma -rr
  
  SubstitutedExpression
  
  "F + I = P"
  "I + D = O"
  "D + D = S"
  "D + L = E"
  "L + E = R"
  
  --answer="LOPSIDED"
  

  Solution: LOPSIDED = 24961353.

  And: POSER = 94657; FIDDLE = 813325.

  LikeLike

• 

  GeoffR 11:38 am on 21 July 2022 Permalink | Reply

  % A Solution in MiniZinc
  include "globals.mzn";
   
  var 1..9:P; var 1..9:O; var 1..9:S; var 1..9:E; var 1..9:R;
  var 1..9:F; var 1..9:I; var 1..9:D; var 1..9:L; 
  
  constraint all_different([P, O, S, E, R, F, I, D, L]);
  
  constraint F + I == P /\ I + D == O /\ D + D == S
  /\ D + L == E /\ L + E == R;
  
  solve satisfy;
  
  output ["LOPSIDED = \(L)\(O)\(P)\(S)\(I)\(D)\(E)\(D)"];
  
  % LOPSIDED = 24961353
  % ----------
  % ==========
  
  
  

  LikeLike