1 2 3 4 5 6
% == No, Emacs this is -*-Prolog-*- code, not what you thought... ============= % -- catalog of FlatZinc constraints ------------------------------------------ fzc(int_lin_ne(COEF, VARS, CONST)) --> [ ].
new file: enumera...