Merge pull request #24 from potassco/nico/wip

renamed encoding
potassco · Jul 10, 2024 · 82a5474 · 82a5474
2 parents 32f7317 + e66b99a
commit 82a5474
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 1 deletion.
diff --git a/src/coomsuite/application.py b/src/coomsuite/application.py
@@ -179,7 +179,7 @@ def main(self, control: Control, files: Sequence[str]) -> None:
         if self._show:
             print("\n".join(processed_facts))  # nocoverage
         else:
-            encoding = get_encoding(f"encoding-{self._solver}.lp")
+            encoding = get_encoding(f"encoding-base-{self._solver}.lp")
             facts = "".join(processed_facts)
             if self._solver == "clingo":
 

diff --git a/src/coomsuite/encodings/encoding-clingo.lp → ...omsuite/encodings/encoding-base-clingo.lp b/src/coomsuite/encodings/encoding-clingo.lp → ...omsuite/encodings/encoding-base-clingo.lp
diff --git a/src/coomsuite/encodings/encoding-fclingo.lp → ...msuite/encodings/encoding-base-fclingo.lp b/src/coomsuite/encodings/encoding-fclingo.lp → ...msuite/encodings/encoding-base-fclingo.lp