mirror of https://github.com/captn3m0/modernart
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
MiniZinc
17 lines
308 B
MiniZinc
% 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); |