new file: enumerate and specify semantics of mz constraints

Salvador Abreu
1 parent 554238da
Showing 1 changed file with 6 additions and 0 deletions Show diff stats
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)) -->
+    [ ].
...	...	@@ -0,0 +1,6 @@
	1	+% == No, Emacs this is --Prolog-- code, not what you thought... =============
	2	+
	3	+% -- catalog of FlatZinc constraints ------------------------------------------
	4	+
	5	+fzc(int_lin_ne(COEF, VARS, CONST)) -->
	6	+ [ ].
...	...