Merge pull request #659 from johnyf/ufnia_integer_arithmetic

BUG: define UFNIA as logic with integer arithmetic
pysmt · Oct 25, 2020 · d1fadc0 · d1fadc0
2 parents b248cdc + a062478
commit d1fadc0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/pysmt/logics.py b/pysmt/logics.py
@@ -590,6 +590,7 @@ def __hash__(self):
               description=\
 """Non-linear integer arithmetic with uninterpreted sort and function
 symbols.""",
+              integer_arithmetic=True,
               integer_difference=True,
               linear=False,
               uninterpreted=True)