From 8515b5f53088311d407ce956715fbfee3e6ffc25 Mon Sep 17 00:00:00 2001
From: Salvador Abreu <spa@debian.org>
Date: Wed, 15 Jul 2015 15:18:51 +0900
Subject: [PATCH] new file: enumerate and specify semantics of mz constraints

---
 fz/catalog.pl | 6 ++++++
 1 file changed, 6 insertions(+), 0 deletions(-)
 create mode 100644 fz/catalog.pl

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