var 0..10: x1 :: output_var;
var 0..10: x2 :: output_var;

constraint int_lin_le([1, -1], [x1, x2], 0);

solve satisfy;