TMSolver/cards.py at master · fdamhaut/TMSolver · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
# CID = (ConditionA, ConditionB, ConditionC), {Needed Extras}, Condition Overlap
C1 = (('T = 1', 'T > 1'), {})
C2 = (('T < 3', 'T = 3', 'T > 3'), {})
C3 = (('S < 3', 'S = 3', 'S > 3'), {})
C4 = (('S < 4', 'S = 4', 'S > 4'), {})
C5 = (('T%2 = 0', 'T%2 = 1'), {}) # T even | T odd
C6 = (('S%2 = 0', 'S%2 = 1'), {})
C7 = (('C%2 = 0', 'C%2 = 1'), {})
C8 = (('#1 = 0', '#1 = 1', '#1 = 2', '#1 = 3'), {'#1'})
C9 = (('#3 = 0', '#3 = 1', '#3 = 2', '#3 = 3'), {'#3'})
C10 = (('#4 = 0', '#4 = 1', '#4 = 2', '#4 = 3'), {'#4'})
C11 = (('T < S', 'T = S', 'T > S'), {})
C12 = (('T < C', 'T = C', 'T > C'), {})
C13 = (('S < C', 'S = C', 'S > C'), {})
C14 = (('T < C and T < S', 'S < T and S < C', 'C < S and C < T'), {})
C15 = (('T > C and T > S', 'S > T and S > C', 'C > S and C > T'), {})
C16 = (('#even > 1', '#odd > 1'), {'#even', '#odd'}) # #even > #odd | #even < #odd
C17 = (('#even = 0', '#even = 1', '#even = 2', '#even = 3'), {'#even'})
C18 = (('sum%2 = 0', 'sum%2 = 1'), {'sum'}) # sum = even | sum = odd
C19 = (('T+S < 6', 'T+S = 6', 'T+S > 6'), {})
C20 = (('repeat = 1', 'repeat = 2', 'repeat = 3'), {'repeat'})
C21 = (('left', '#1 = 2 or #2 = 2 #3 = 2 #4 = 2 #5 = 2'), {'#1', '#2', '#3', '#4', '#5'})
C22 = (('T < S < C', 'left', 'T > S > C'), {})
C23 = (('sum < 6', 'sum = 6', 'sum > 6'), {'sum'})
C24 = (('T+2 = S+1 = C', 'T+1 = S != S+1 = C', 'T+1 != S and S+1 != C'), {}) # bool != bool is XOR
C25 = (('', '', ''), {}) # TODO
C26 = (('T < 3', 'S < 3', 'C < 3'), {}, True)
C27 = (('T < 4', 'S < 4', 'C < 4'), {}, True)
C28 = (('T = 1', 'S = 1', 'C = 1'), {}, True)
C29 = (('T = 3', 'S = 3', 'C = 3'), {}, True)
C30 = (('T = 4', 'S = 4', 'C = 4'), {}, True)
C31 = (('T > 1', 'S > 1', 'C > 1'), {}, True)
C32 = (('T > 3', 'S > 3', 'C > 3'), {}, True)
C33 = (('T%2 = 0', 'T%2 = 1', 'S%2 = 0', 'S%2 = 1', 'C%2 = 0', 'C%2 = 1'), {}, True)
C34 = (('T <= C and T <= S', 'S <= T and S <= C', 'C <= S and C <= T'), {}), True
C35 = (('T >= C and T >= S', 'S >= T and S >= C', 'C >= S and C >= T'), {}, True)
C36 = (('sum%3 = 0', 'sum%4 = 0', 'sum%5 = 0'), {'sum'}, True)
C37 = (('T+S = 4', 'T+C = 4', 'S+C = 4'), {}, True)
C38 = (('T+S = 6', 'T+C = 6', 'S+C = 6'), {}, True)
C39 = (('T = 1', 'T > 1', 'S = 1', 'S > 1', 'C = 1', 'C > 1'), {}, True)
C40 = (('T < 3', 'T = 3', 'T > 3', 'S < 3', 'S = 3', 'S > 3', 'C < 3', 'C = 3', 'C > 3'), {}, True)
C41 = (('T < 4', 'T = 4', 'T > 4', 'S < 4', 'S = 4', 'S > 4', 'C < 4', 'C = 4', 'C > 4'), {}, True)
C42 = (('T < C and T < S', 'S < T and S < C', 'C < S and C < T', 'T > C and T > S', 'S > T and S > C', 'C > S and C > T'), {}, True)
C43 = (('T < S', 'T < C', 'T = S', 'T = C', 'T > S', 'T > C'), {}, True)
C44 = (('S < T', 'S < C', 'S = T', 'S = C', 'S > T', 'S > C'), {}, True)
C45 = (('#1 = 0', '#1 = 1', '#1 = 2', '#3 = 0', '#3 = 1', '#3 = 2'), {'#1', '#3'}, True)
C46 = (('#3 = 0', '#3 = 1', '#3 = 2', '#4 = 0', '#4 = 1', '#4 = 2'), {'#3', '#4'}, True)
C47 = (('#1 = 0', '#1 = 1', '#1 = 2', '#4 = 0', '#4 = 1', '#4 = 2'), {'#1', '#4'}, True)
C48 = (('T < S', 'T = S', 'T > S', 'T < C', 'T = C', 'T > C', 'S < C', 'S = C', 'S > C'), {}, True)