patrick
/
plasp
Archived
1
0
Fork 0

Added new commands to the change log.

This commit is contained in:
Patrick Lühne 2017-10-14 01:46:48 +02:00
parent b8bd42d361
commit 5ec4dd2aaf
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 5 additions and 2 deletions

View File

@ -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 plasps custom PDDL format
* `plasp check-syntax`: check the syntax of PDDL specifications
* `plasp beautify`: cleanly format PDDL specifications
Features: