pddlp

一个简单、快速且健壮的 PDDL 解析器

pddlp 有三个目标

• 健壮 - 在常用的 PDDL 领域和问题上进行了测试
• 快速 - 优化并基准测试，尽可能快
• 简单 - 为了易于使用，避免使用不常用的 PDDL 语法

示例

let input = "(define (problem prob)
                  (:objects o1)
                  (:init (p o1))
                  (:goal (not (p o3)))
             )";
let problem = pddlp::problem::parse(&input)?;
assert_eq!(problem.name, Some("prob"));
assert_eq!(problem.domain, None);
assert_eq!(problem.objects, Some(vec![pddlp::problem::Object { name: "o1", type_name: None }]));
//...

基准测试

在 AMD Ryzen 5 5600X 6 核处理器 × 6 上进行基准测试，使用 Criterion