S2T2

Jim Randell 11:38 am on 3 July 2026 Permalink Reply
Tags: by: Graham Smithers ( 88 )   

• 

  Jim Randell 11:39 am on 3 July 2026 Permalink | Reply

  By rearranging the sum as an addition sum we can use the [[ SubstitutedExpression.split_sum ]] solver from the enigma.py library.

  The following run file executes in 85ms. (Internal runtime of the generated code is 201µs).

  #! python3 -m enigma -rr
  
  SubstitutedExpression.split_sum
  
  "TIMES + BONNET = EASTER"
  
  --answer="TEASER"
  

  Solution: TEASER = 591792.

  LikeLike

• 

  Ruud 12:56 pm on 3 July 2026 Permalink | Reply

  import peek
  import istr
  
  for e, a, s, t, r, i, m in istr.permutations(range(0, 10), 7):
      if (
          (bonnet := istr(":=easter") - istr(":=times")) > 0
          and bonnet[2] == bonnet[3]
          and (istr("=eastrim") | bonnet[:3]).all_distinct()
          and bonnet[4:] == (e | t)
      ):
          peek(easter, bonnet, times, istr("=teaser"))
  

  LikeLike