catalog.pl 210 Bytes
Edit Raw Blame History



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)) -->
    [ ].