Lines Matching refs:C1
48 Carries = [C1,C2,C3,C4],
53 C1 #= M,
54 C2 + S + M #= O + 10*C1,
64 classic puzzle uses four variables \texttt{[C1,C2,C3,C4]} to indicate
194 viewable_expand(equation, 1, [C1, C2, C3, C4, 0]).
257 Carries = [C1,C2,C3,C4],
262 C1 #= M,
263 C2 + S + M #= O + 10*C1,
269 viewable_expand(equation, 1, [C1, C2, C3, C4, 0], "carries").
374 Vars = [A1, B1, C1, D1, A2, B2, C2, D2, A3, B3, C3, D3],
379 foo:(C1 + C2 + C3 $= 300),
382 foo:(A1 + B1 + C1 + D1 $=< 500), % capacity constraints
390 5*C1 + 5*C2 + 8*C3 +
416 [](C1, C2, C3),
428 edge(1,'C',C1),edge(2,'C',C2),edge(3,'C',C3),