- introduces new command-line interface based on
plaspsubcommands:plasp translate: translate PDDL and SAS to ASP (replaces former, plainplaspcalls)plasp normalize: normalize PDDL to plasp’s custom PDDL formatplasp check-syntax: check the syntax of PDDL specificationsplasp beautify: cleanly format PDDL specifications
- extended PDDL parser support (
imply,exists,forall,when, and=expressions) - new output option
--log-levelto control which status messages should be shown - new basic option
--warnings-as-errorsto abort program execution upon warnings (replaces--warning-level) - adds compatibility mode for parser, which supports more legacy domains
- new parser option
--parsing-modeto specify whether to apply strict or compatibility parsing rules
- reimplemented PDDL parser from scratch as stand-alone
pddllibrary - removed dependency to Boost
- fixes incorrect output format of conditional effects with SAS
- fixes parsing issue with unexpected whitespaces in SAS files
- unified translation format for SAS and PDDL files
- documentation of
plasp’s output format - improved output syntax highlighting
- uses ASP string literals to avoid escaping PDDL identifiers
- fixes minor formatting issues in SAS translation
- fixes issue with unsupported expression negations
- basic support for parsing PDDL 3.1 domains and problems
- limited support for translating PDDL 3.1 domains and problems to ASP facts
- automatic language detection for PDDL and SAS
- supports input from
std::cin - supports colorized output
- new command-line option
--languageto explicitly specify input language - new command-line option
--warning-levelto treat warnings as errors or to ignore warnings - new command-line option
--colorto autodetect, enable, or disable color output
- fixes bug in translation of SAS axiom rules
- parses SAS files created with Fast Downward
- experimental translation from SAS to ASP facts