Code, benchmarks and data for the AAAI 2025 paper "Counting and Reasoning with Plans"
-
1.
TU Wien
- 2. MIT
Description
This archive contains the code, benchmarks, and experimental data for the AAAI 2025 paper titled "Counting and Reasoning with Plans".
Code
The files planalyst.zip, symk.zip, kstar.zip contain the code of the different solvers (references are given in the included Readme file). The different solvers can all be built with Apptainer using the included Apptainer files, and more information on running the solvers is available in the Readme files.
Latest version of Planalyst on GitHub: https://github.com/speckdavid/planalyst
Benchmarks
The file benchmarks.zip contains the PDDL benchmarks from the International Planning Competitions that we used for our experiments.
Experiment Data
The remaining files (scripts.zip, data.zip, reports.zip) contain the experiment scripts, raw and parsed data, and reports for the experiments described in the paper.
Files
benchmarks.zip
Files
(335.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:954f858c4576313b90af6f2a0e9bb7cf
|
4.6 MB | Preview Download |
|
md5:2c496e451f78dfed3ddbbe32434e91cd
|
290.8 MB | Preview Download |
|
md5:8eb6192cc9adb7ec4097388fdeff36cd
|
1.2 MB | Preview Download |
|
md5:e5ab428939bcef99dd76556ee9b64fed
|
31.3 MB | Preview Download |
|
md5:f1f595abe37b5d0b685ef40aa66519e8
|
1.7 MB | Preview Download |
|
md5:f4b9bfc23ab5db890bdcdf69247c341c
|
81.1 kB | Preview Download |
|
md5:453351d8a86241f5846fb9015766181e
|
6.0 MB | Preview Download |