New version of AbsCon

xcsp3team · Oct 6, 2020 · 5dcad7b · 5dcad7b
1 parent 00f678f
commit 5dcad7b
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/solvers/abscon/AbsCon-20-09.jar b/solvers/abscon/AbsCon-20-09.jar
diff --git a/solvers/solver.py b/solvers/solver.py
@@ -135,7 +135,7 @@ def extract_result_and_solution(stdout):
             left, right = stdout.rfind("<instantiation"), stdout.rfind("</instantiation>")
             s = stdout[left:right + len("</instantiation>")].replace("\nv", "")
             root = etree.fromstring(s, etree.XMLParser(remove_blank_text=True))
-            optimal = stdout.find("s OPTIMUM ") != - -1
+            optimal = stdout.find("s OPTIMUM ") != -1
             if cop:
                 if "type" not in root.attrib:
                     root.attrib['type'] = "solution" + (" optimal" if optimal else "")