diff --git a/CHANGELOG.md b/CHANGELOG.md index 6cb7ddd..26499b6 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,8 +4,11 @@ Changes: -* introduces new command-line interface based on `plasp` subcommands -* adds `plasp translate` command as a replacement for former plain `plasp` calls +* introduces new command-line interface based on `plasp` subcommands: + * `plasp translate`: translate PDDL and SAS to ASP (replaces former, plain `plasp` calls) + * `plasp normalize`: normalize PDDL to plasp’s custom PDDL format + * `plasp check-syntax`: check the syntax of PDDL specifications + * `plasp beautify`: cleanly format PDDL specifications Features: