Instant insanity graphical solution

Solution:
  Die 1, front:green  back:red    top:yellow bottom:blue  
  Die 2, front:red    back:blue   top:green  bottom:yellow
  Die 3, front:blue   back:yellow top:blue   bottom:red   
  Die 4, front:yellow back:green  top:red    bottom:green 
Solution:
  Die 1, front:red    back:green  top:yellow bottom:blue  
  Die 2, front:blue   back:red    top:green  bottom:yellow
  Die 3, front:yellow back:blue   top:blue   bottom:red   
  Die 4, front:green  back:yellow top:red    bottom:green 
Solution:
  Die 1, front:red    back:green  top:blue   bottom:yellow
  Die 2, front:blue   back:red    top:yellow bottom:green 
  Die 3, front:yellow back:blue   top:red    bottom:blue  
  Die 4, front:green  back:yellow top:green  bottom:red   
Solution:
  Die 1, front:green  back:red    top:blue   bottom:yellow
  Die 2, front:red    back:blue   top:yellow bottom:green 
  Die 3, front:blue   back:yellow top:red    bottom:blue  
  Die 4, front:yellow back:green  top:green  bottom:red   
Solution:
  Die 1, front:yellow back:blue   top:red    bottom:green 
  Die 2, front:green  back:yellow top:blue   bottom:red   
  Die 3, front:blue   back:red    top:yellow bottom:blue  
  Die 4, front:red    back:green  top:green  bottom:yellow
Solution:
  Die 1, front:blue   back:yellow top:red    bottom:green 
  Die 2, front:yellow back:green  top:blue   bottom:red   
  Die 3, front:red    back:blue   top:yellow bottom:blue  
  Die 4, front:green  back:red    top:green  bottom:yellow
Solution:
  Die 1, front:blue   back:yellow top:green  bottom:red   
  Die 2, front:yellow back:green  top:red    bottom:blue  
  Die 3, front:red    back:blue   top:blue   bottom:yellow
  Die 4, front:green  back:red    top:yellow bottom:green 
Solution:
  Die 1, front:yellow back:blue   top:green  bottom:red   
  Die 2, front:green  back:yellow top:red    bottom:blue  
  Die 3, front:blue   back:red    top:blue   bottom:yellow
  Die 4, front:red    back:green  top:yellow bottom:green 

#!/usr/bin/python3
class Color:
  red = "red   "
  yellow = "yellow"
  green = "green "
  blue = "blue  "
class Die:
  def __init__(this,face0,face1,face2,face3,face4,face5):
    # orientation(left,front,right,back,top,bottom)
    this.orientation = \
      [(face0,face1,face2,face3,face4,face5) \
      ,(face3,face0,face1,face2,face4,face5) \
      ,(face2,face3,face0,face1,face4,face5) \
      ,(face1,face2,face3,face0,face4,face5) \
      ,(face0,face3,face2,face1,face5,face4) \
      ,(face3,face2,face1,face0,face5,face4) \
      ,(face2,face1,face0,face3,face5,face4) \
      ,(face1,face0,face3,face2,face5,face4) \
      ,(face5,face2,face4,face0,face1,face3) \
      ,(face2,face4,face0,face5,face1,face3) \
      ,(face4,face0,face5,face2,face1,face3) \
      ,(face0,face5,face2,face4,face1,face3) \
      ,(face5,face0,face4,face2,face3,face1) \
      ,(face0,face4,face2,face5,face3,face1) \
      ,(face4,face2,face5,face0,face3,face1) \
      ,(face2,face5,face0,face4,face3,face1) \
      ,(face5,face1,face4,face3,face0,face2) \
      ,(face1,face4,face3,face5,face0,face2) \
      ,(face4,face3,face5,face1,face0,face2) \
      ,(face3,face5,face1,face4,face0,face2) \
      ,(face5,face3,face4,face1,face2,face0) \
      ,(face3,face4,face1,face5,face2,face0) \
      ,(face4,face1,face5,face3,face2,face0) \
      ,(face1,face5,face3,face4,face2,face0) \
      ]
  def front(this,orientation):
    return this.orientation[orientation][1]
  def back(this,orientation):
    return this.orientation[orientation][3]
  def top(this,orientation):
    return this.orientation[orientation][4]
  def bottom(this,orientation):
    return this.orientation[orientation][5]
dice = \
  [Die(Color.red,Color.yellow,Color.green,Color.blue,Color.red,Color.red) \
  ,Die(Color.red,Color.yellow,Color.blue,Color.green,Color.red,Color.yellow) \
  ,Die(Color.blue,Color.blue,Color.red,Color.yellow,Color.green,Color.green) \
  ,Die(Color.green,Color.yellow,Color.red,Color.green,Color.blue,Color.yellow) \
  ]
for od0 in range(24): # For each of 24 possible orientations of die 1
  for od1 in range(24): # For each of 24 possible orientations of die 2
    for od2 in range(24): # For each of 24 possible orientatinos of die 3
      for od3 in range(24): # For each of 24 possible orientations of die 4
        if    len({dice[0].top(od0)   ,dice[1].top(od1)   ,dice[2].top(od2)   ,dice[3].top(od3)})    == 4 \
          and len({dice[0].bottom(od0),dice[1].bottom(od1),dice[2].bottom(od2),dice[3].bottom(od3)}) == 4 \
          and len({dice[0].front(od0) ,dice[1].front(od1) ,dice[2].front(od2) ,dice[3].front(od3)})  == 4 \
          and len({dice[0].back(od0)  ,dice[1].back(od1)  ,dice[2].back(od2)  ,dice[3].back(od3)})   == 4 :
          print("Solution:")
          print("  Die 1, front:"+dice[0].front(od0)+" back:"+dice[0].back(od0)+" top:"+dice[0].top(od0)+" bottom:"+dice[0].bottom(od0))
          print("  Die 2, front:"+dice[1].front(od1)+" back:"+dice[1].back(od1)+" top:"+dice[1].top(od1)+" bottom:"+dice[1].bottom(od1))
          print("  Die 3, front:"+dice[2].front(od2)+" back:"+dice[2].back(od2)+" top:"+dice[2].top(od2)+" bottom:"+dice[2].bottom(od2))
          print("  Die 4, front:"+dice[3].front(od3)+" back:"+dice[3].back(od3)+" top:"+dice[3].top(od3)+" bottom:"+dice[3].bottom(od3))