Merge pull request #5 from aiplan4eu/fix-unsolvable

Fix unsolvable result
aiplan4eu · Nov 9, 2023 · 7519363 · 7519363
2 parents a61205f + d3a0e24
commit 7519363
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/setup.py b/setup.py
@@ -56,7 +56,7 @@ def run(self):
 
 setup(
     name="up_fmap",
-    version="0.0.10",
+    version="0.0.11",
     description="up_fmap",
     author="Alejandro Torreño, Eva Onaindia and Oscar Sapena",
     author_email="[email protected]",

diff --git a/up_fmap/fmap_planner.py b/up_fmap/fmap_planner.py
@@ -89,7 +89,7 @@ def _result_status(
         if retval != 0:
             return PlanGenerationResultStatus.INTERNAL_ERROR
         elif plan is None:
-            return PlanGenerationResultStatus.UNSOLVABLE_PROVEN
+            return PlanGenerationResultStatus.UNSOLVABLE_INCOMPLETELY
         else:
             return PlanGenerationResultStatus.SOLVED_SATISFICING