udpate csp.lp file

potassco · Oct 31, 2016 · a69a1b9 · a69a1b9
1 parent 6ef60c3
commit a69a1b9
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,6 @@
+3.1.3
+- fixed bug in equality preprocessing
+
 3.1.2
 - fixed reading of non gringo aspif format
 - fixed bug in is benchmark class
diff --git a/TODO b/TODO
@@ -1,4 +1,5 @@
 TODO:
+ - make --strict option public
  - print warning if one of the bounds for csp variable could not be determined and is defaulted,
    print name of the variable
  - add test s.isChoice() for transformHeadRules, remove these rules and add :- a, not a.

diff --git a/csp.lp b/csp.lp
@@ -9,7 +9,10 @@
     dom_term {
     + : 5, unary;
     - : 5, unary;
-    .. : 1, binary, left
+    .. : 1, binary, left;
+    * : 4, binary, left;
+    + : 3, binary, left;
+    - : 3, binary, left
     };
     show_term {
     / : 1, binary, left