pddlp

Crates.iopddlp
lib.rspddlp
version0.1.6
sourcesrc
created_at2024-02-17 21:18:49.189648
updated_at2024-05-24 15:50:38.194779
descriptionA PDDL Parser
homepage
repositoryhttps://github.com/jamadaha/pddlp
max_upload_size
id1143539
size77,487
Jan M. D. Hansen (jamadaha)

documentation

README

pddlp

Rust

GitHub last commit (branch) GitHub commit activity (branch)

Crates.io Version Crates.io Total Downloads

A simple, fast, and robust PDDL parser

pddlp has three goals:

  • Robust - Is tested on commenly used PDDL domains and problems
  • Fast - Optimised and benchmarked to be as fast as possible
  • Simple - Avoids rarely used PDDL syntax in favor of easy of use

Example

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 }]));
//...

Benchmark

Benchmarked on a AMD Ryzen 5 5600X 6-Core Processor × 6 with Criterion

Throughput Time to Parse (see here)
Domain 436 MiB/s 2 µs
Problem 468 MiB/s 523 ns
Plan 507 MiB/s 93 ns
Commit count: 15

cargo fmt