Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
sunsided committed Apr 23, 2023
1 parent c71467f commit 4d5a5a3
Showing 1 changed file with 14 additions and 4 deletions.
18 changes: 14 additions & 4 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,11 +1,21 @@
# PDDL parser (work in progress)

A PDDL 3.1 parser implementation in Rust.
A PDDL 3.1 parser implementation in Rust based on [nom](https://crates.io/crates/nom). See [`src/briefcase_world.rs`](src/briefcase_world.rs) for an example.

## Implemented BNF Elements
Parser and domain/problem types can be used separately and will be completely
decoupled through crate features in the future.

Parsers were implemented for the following elements
listed in the paper:
### ⚠️ Caveat Emptor

At this point the parser supports all domain and problem definition
elements required to fully describe a PDDL 3.1 (and earlier) environment.

However, some enum variants are currently inaccessible to external users of the crate.
This is where some work is still required.

## Supported Elements

Parsers were implemented based on the BNF elements listed in the paper:

> "Complete BNF description of PDDL 3.1 (completely corrected)",
> _Daniel L. Kovacs_
Expand Down

0 comments on commit 4d5a5a3

Please sign in to comment.