diff --git a/fz/catalog.pl b/fz/catalog.pl new file mode 100644 index 0000000..e624fc3 --- /dev/null +++ b/fz/catalog.pl @@ -0,0 +1,6 @@ +% == No, Emacs this is -*-Prolog-*- code, not what you thought... ============= + +% -- catalog of FlatZinc constraints ------------------------------------------ + +fzc(int_lin_ne(COEF, VARS, CONST)) --> + [ ]. -- libgit2 0.21.2