% Declare variables

var 1..10: A;

var 1..10: B;

var 1..10: C;

​

% Constraints

constraint A + B + C == 10;         % Sum of variables must be 10

constraint all_different([A, B, C]);  % Variables must have different values

​

% Find a solution

solve satisfy;

​

% Output the solution

output ["A = \(A)\nB = \(B)\nC = \(C)"];