array [1..3] of int: X_INTRODUCED_0_ = [-1,2,3];
var bool: x1:: output_var;
var bool: x2:: output_var;
var bool: x3:: output_var;
var 1..3: eq:: output_var;

constraint bool_lin_eq(X_INTRODUCED_0_,[x1,x2,x3],eq);

solve  satisfy;