From d91429632cd2205c52fff8db98bbbce4fdb2ff49 Mon Sep 17 00:00:00 2001 From: Christian Muise Date: Mon, 22 Dec 2025 22:40:51 -0500 Subject: [PATCH 1/4] Minor description update. --- planutils/packages/metric-ff-2.0/manifest.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/planutils/packages/metric-ff-2.0/manifest.json b/planutils/packages/metric-ff-2.0/manifest.json index 477a30a..f4c8791 100644 --- a/planutils/packages/metric-ff-2.0/manifest.json +++ b/planutils/packages/metric-ff-2.0/manifest.json @@ -1,6 +1,6 @@ { "name": "Metric Fast-Forward 2.0: extended with numerical state variables and axioms", - "description": "The system is an extension of the FF planner to numerical state variables, more precisely to PDDL2.1 level 2.", + "description": "The system is an extension of the FF planner to numerical state variables and axioms, more precisely to PDDL2.1 level 2.", "homepage": "https://fai.cs.uni-saarland.de/hoffmann/metric-ff.html", "install-size": "1.3M", "dependencies": [], From 7714ae2677d533ec6eb42a794c06c28d1768a9ff Mon Sep 17 00:00:00 2001 From: Christian Muise Date: Mon, 22 Dec 2025 22:54:37 -0500 Subject: [PATCH 2/4] New version of the metric-ff and post-processing script. --- planutils/packages/metric-ff-2.0/install | 2 +- planutils/packages/metric-ff-2.0/run | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/planutils/packages/metric-ff-2.0/install b/planutils/packages/metric-ff-2.0/install index 8b452b3..96500e2 100755 --- a/planutils/packages/metric-ff-2.0/install +++ b/planutils/packages/metric-ff-2.0/install @@ -1,5 +1,5 @@ #!/bin/bash -wget -q 'https://github.com/siftech/metric-ff/releases/download/metric-ff-sift-2.0.1/metric-ff.gz' +wget -q 'https://github.com/siftech/metric-ff/releases/download/metric-ff-sift-2.0.2/metric-ff.gz' gunzip metric-ff.gz chmod +x metric-ff diff --git a/planutils/packages/metric-ff-2.0/run b/planutils/packages/metric-ff-2.0/run index 7d553d9..c8bc668 100755 --- a/planutils/packages/metric-ff-2.0/run +++ b/planutils/packages/metric-ff-2.0/run @@ -40,8 +40,7 @@ shift 2 $FF -o $DOMAIN -f $PROBLEM $@ > $OUT 2>$ERR # Getting plan grep '[0-9]:' $OUT | cut -d : -f 2- | \ - awk '{$1=$1;print}' | \ - awk -F" " '{ print("(", $0, ")")}' > $PROBLEM.plan + awk '{$1=$1;print}' > $PROBLEM.plan cat $OUT >&1 cat $ERR >&2 From e2db633db696caa55bcec0462d5fbc97c1fa085a Mon Sep 17 00:00:00 2001 From: Christian Muise Date: Mon, 22 Dec 2025 22:57:15 -0500 Subject: [PATCH 3/4] Version bump. --- setup.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/setup.py b/setup.py index 120b203..40c5c2e 100644 --- a/setup.py +++ b/setup.py @@ -8,7 +8,7 @@ long_description = fh.read() setuptools.setup(name='planutils', - version='0.10.20', + version='0.10.21', description='General library for setting up linux-based environments for developing, running, and evaluating planners.', long_description=long_description, long_description_content_type="text/markdown", From adfb25cae95cadbff94ab84ee5efe788ae9be6eb Mon Sep 17 00:00:00 2001 From: Christian Muise Date: Tue, 23 Dec 2025 23:43:02 -0500 Subject: [PATCH 4/4] Updating metric-ff-2.0 version. --- planutils/packages/metric-ff-2.0/install | 2 +- setup.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/planutils/packages/metric-ff-2.0/install b/planutils/packages/metric-ff-2.0/install index 96500e2..d97f824 100755 --- a/planutils/packages/metric-ff-2.0/install +++ b/planutils/packages/metric-ff-2.0/install @@ -1,5 +1,5 @@ #!/bin/bash -wget -q 'https://github.com/siftech/metric-ff/releases/download/metric-ff-sift-2.0.2/metric-ff.gz' +wget -q 'https://github.com/siftech/metric-ff/releases/download/v2.0.3/metric-ff.gz' gunzip metric-ff.gz chmod +x metric-ff diff --git a/setup.py b/setup.py index 40c5c2e..f951546 100644 --- a/setup.py +++ b/setup.py @@ -8,7 +8,7 @@ long_description = fh.read() setuptools.setup(name='planutils', - version='0.10.21', + version='0.10.22', description='General library for setting up linux-based environments for developing, running, and evaluating planners.', long_description=long_description, long_description_content_type="text/markdown",