S2T2

Jim Randell 9:54 am on 26 August 2021 Permalink Reply
Tags: by: Mary Connor ( 4 )   

• 

  Jim Randell 9:55 am on 26 August 2021 Permalink | Reply

  Here is a solution using the [[ SubstitutedExpression ]] solver from the enigma.py library.

  It runs in 81ms.

  Run: [ @replit ]

  #! python3 -m enigma -rr
  
  # assign values to the names:
  #   Dot = 1; Eve = 2; Fran = 3; Gill = 4; Helen = 5
  #
  # and then assign these values to the comestibles:
  #   cakes: sponge = A; coffee = B; orange = C; lemon = D; chocolate = E
  #   drinks: tea = F; coffee = G; orange = H; lemon = I; chocolate = J
  #   savouries: cheese = K & L; egg = M & N; s roll = P & Q; shrimp = R & S; ham s = T & U
  
  SubstitutedExpression
  
  --digits="1-5"
  --distinct="ABCDE,FGHIJ,KMPRT,LNQSU,AF,BG,CH,DI,EJ,KL,MN,PQ,RS,TU"
  
  # remove duplicate solutions
  "T < U"
  
  # "Dot has no coffee, no cheese, no egg"
  "B != 1"
  "G != 1"
  "K != 1"
  "L != 1"
  "M != 1"
  "N != 1"
  
  # "Dot has a sausage roll, and something orange"
  "P == 1 or Q == 1"
  "C == 1 or H == 1"
  
  # "Eve had lemon drink"
  "I == 2"
  
  # "Eve had no egg"
  "M != 2"
  "N != 2"
  
  # "someone had egg, cheese and not coffee"
  "((M == K or M == L) and G != M) or ((N == K or N == L) and G != N)"
  
  # "tea drinker had cheese"
  "F == K or F == L"
  
  # "hot chocolate had lemon cake"
  "J == D"
  
  # "Fran had shrimp"
  "R == 3 or S == 3"
  
  # "only one shrimp eater also had lemon"
  "(R == D or R == I) + (S == D or S == I) = 1"
  
  # "Gill had sausage roll and something orange"
  "P == 4 or Q == 4"
  "C == 4 or H == 4"
  
  # "someone had cheese and chocolate cake"
  "(K == E) or (L == E)"
  
  # "coffee cake had a ham sandwich, but no cheese"
  "B == T or B == U"
  "B != K and B != L"
  
  # "no-one had egg and shrimp"
  "not intersect(([M, N], [R, S]))"
  
  # mention A
  "A > 0"
  
  # [optional]
  --template="(A B C D E) (F G H I J) (K L) (M N) (P Q) (R S) (T U)"
  --solution=""
  --denest=-1  # apply fix for CPython
  

  Solution: Dot and Eve had the ham sandwiches.

  The full solution is:

  D: Sponge cake; orange juice; sausage roll + ham sandwich
  E: Coffee cake; lemon squash; shrimp + ham sandwich
  F: Chocolate cake; tea; cheese + shrimp
  G: Orange cake; coffee; egg + sausage roll
  H: Lemon cake; hot chocolate; cheese + egg

  LikeLike