You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

17 lines
308 B

% include "globals.mzn";
% Since the documentation is unclear, wrote this test to figure
% out whether enums wrap around or not.
% enum Letters;
enum Letters;
Letters = {A,B,C};
var Letters: a;
var Letters: b;
constraint a=A;
constraint b=B;
var set of Letters: d;
constraint d = set_diff(Letters,a..b);