chore: Add justfile for common recipes.

.env

@@ -0,0 +1,7 @@
+
+PYTHONPATH=planning/unified/plugin:${PYTHONPATH}
+UP_ARIES_DEV=true  # enable automatic recompilation of the server
+
+# Use the python modules of the unified planning library and test cases directly from the git submodules of this repository
+PYTHONPATH=planning/unified/deps/unified-planning/up_test_cases:${PYTHONPATH}
+PYTHONPATH=planning/unified/deps/unified-planning:${PYTHONPATH}

.gitignore

@@ -11,4 +11,3 @@ examples/sat/instances/*.cnf
 __pycache__/
 *.profraw
 lcov.info
-.env

justfile

@@ -0,0 +1,21 @@
+
+set dotenv-load := true
+
+
+ci: ci-up-solve ci-up-val
+
+# Run planning tests for UP integration
+ci-up-solve:
+    python3 planning/unified/deps/unified-planning/up_test_cases/report.py aries
+
+# Run validation tests for UP integration
+ci-up-val:
+    python3 planning/unified/deps/unified-planning/up_test_cases/report.py aries-val
+
+# Solve a UP test case
+up-solve problem:
+    python3 planning/unified/scripts/cli.py {{problem}}
+
+# Export a UP test case to a protobuf binary file (/tmp/problem.upp)
+up-export problem:
+    python3 planning/unified/scripts/cli.py {{problem}} -m dump

planning/unified/scripts/cli.py

@@ -45,6 +45,7 @@
 
 elif args.mode == "dump":
     print(f"Dumping problem to {args.outfile}")
+    print(test_case.problem)
 
     writer = ProtobufWriter()
     msg = writer.convert(test_case.problem)