# Minion Version 0.8.1
# Svn version: 2537
# Svn last changed date: 2009-04-15 22:05:43 +0100 (Wed, 15 Apr 2009)
#  Run at: UTC Thu Apr 16 20:18:52 2009

#    http://minion.sourceforge.net
#  Minion is still very new and in active development.
#  If you have problems with Minion or find any bugs, please tell us!
#  Mailing list at: https://mail.cs.st-andrews.ac.uk/mailman/listinfo/mug
# Input filename: benchmarks/small/donaldgeraldrobert.minion
# Command line: ./build/minion -redump benchmarks/small/donaldgeraldrobert.minion 

# Solve the alphacipher here:
# http://www.puzzler.com/Puzzles-encyclopedia/Puzzle-samples/Alphacipher.pdf

MINION 3
**VARIABLES**
DISCRETE A{1..26}
DISCRETE B{1..26}
DISCRETE C{1..26}
DISCRETE D{1..26}
DISCRETE E{1..26}
DISCRETE F{1..26}
DISCRETE G{1..26}
DISCRETE H{1..26}
DISCRETE I{1..26}
DISCRETE J{1..26}
DISCRETE K{1..26}
DISCRETE L{1..26}
DISCRETE M{1..26}
DISCRETE N{1..26}
DISCRETE O{1..26}
DISCRETE P{1..26}
DISCRETE Q{1..26}
DISCRETE R{1..26}
DISCRETE S{1..26}
DISCRETE T{1..26}
DISCRETE U{1..26}
DISCRETE V{1..26}
DISCRETE W{1..26}
DISCRETE X{1..26}
DISCRETE Y{1..26}
DISCRETE Z{1..26}
**SEARCH**
VARORDER [A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z]
#VALORDER [a,a,a,a,a,a,a,a,a,a]
#SYMORDER [a,b,d,e,g,l,n,o,r,t]
PRINT[[A],[B],[C],[D],[E],[F],[G],[H],[I],[J],[K],[L],[M],[N],[O],[P],[Q],[R],[S],[T],[U],[V],[W],[X],[Y],[Z]]
**TUPLELIST**
**CONSTRAINTS**

sumleq([A,N,G,E,L,O,U], 45)
sumleq([A,T,W,O,O,D], 55)
sumleq([B,A,L,Z,A,C], 59)
sumleq([B,R,A,I,N,E], 47)
sumleq([C,O,N,R,A,D], 59)
sumleq([E,V,E,L,Y,N], 63)
sumleq([F,O,R,E,S,T,E,R], 58)
sumleq([G,A,S,K,E,L,L], 47)
sumleq([G,O,G,O,L], 41)
sumleq([H,A,M,S,U,N], 53)
sumleq([H,E,L,L,E,R], 35)
sumleq([J,E,R,O,M,E], 53)
sumleq([K,A,F,K,A], 74)
sumleq([L,E,S,S,I,N,G], 45)
sumleq([N,E,S,B,I,T], 45)
sumleq([P,A,R,K,E,R], 58)
sumleq([P,O,T,T,E,R], 47)
sumleq([P,R,O,U,S,T], 42)
sumleq([Q,U,E,N,E,A,U], 56)
sumleq([R,A,N,S,O,M,E], 45)
sumleq([R,E,N,A,U,L,T], 40)
sumleq([S,A,L,I,N,G,E,R], 55)
sumleq([S,H,U,T,E], 37)
sumleq([S,Y,M,O,N,S], 50)
sumleq([W,A,L,T,O,N], 49)

sumgeq([A,N,G,E,L,O,U], 45)
sumgeq([A,T,W,O,O,D], 55)
sumgeq([B,A,L,Z,A,C], 59)
sumgeq([B,R,A,I,N,E], 47)
sumgeq([C,O,N,R,A,D], 59)
sumgeq([E,V,E,L,Y,N], 63)
sumgeq([F,O,R,E,S,T,E,R], 58)
sumgeq([G,A,S,K,E,L,L], 47)
sumgeq([G,O,G,O,L], 41)
sumgeq([H,A,M,S,U,N], 53)
sumgeq([H,E,L,L,E,R], 35)
sumgeq([J,E,R,O,M,E], 53)
sumgeq([K,A,F,K,A], 74)
sumgeq([L,E,S,S,I,N,G], 45)
sumgeq([N,E,S,B,I,T], 45)
sumgeq([P,A,R,K,E,R], 58)
sumgeq([P,O,T,T,E,R], 47)
sumgeq([P,R,O,U,S,T], 42)
sumgeq([Q,U,E,N,E,A,U], 56)
sumgeq([R,A,N,S,O,M,E], 45)
sumgeq([R,E,N,A,U,L,T], 40)
sumgeq([S,A,L,I,N,G,E,R], 55)
sumgeq([S,H,U,T,E], 37)
sumgeq([S,Y,M,O,N,S], 50)
sumgeq([W,A,L,T,O,N], 49)


gacalldiff([A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z])
**EOF**