| Name | Version | Summary | date |
|---|---|---|---|
| pddl2hoa | 0.1.4 | Convert PDDL planning problems to HOA (Hanoi Omega Automata) format | 2025-07-30 16:14:01 |
| pddl | 0.4.2 | PDDL parser | 2025-01-05 14:31:44 |
| lifted-pddl | 1.2.3 | A lightweight framework for parsing PDDL in lifted form. | 2024-07-07 11:39:40 |
| pddlpy | 0.4.4 | Python PDDL parser | 2024-02-10 18:58:16 |
| PDDL-Prover | 1.0.0 | A python prover for evaluating FOL formulas on PDDL | 2023-11-22 00:22:50 |
| hour | day | week | total |
|---|---|---|---|
| 94 | 2352 | 10409 | 304639 |