patrick
released this
2017-11-25 17:24:21 +01:00
| 1 commits to develop since this release
Bug Fixes
- fixes ASP syntax issues caused by hyphens in variable names by replacing all user-defined variables with
X1, X2, etc.
Downloads
patrick
released this
2017-11-25 00:42:25 +01:00
| 1 commits to develop since this release
Bug Fixes
- fixes ASP syntax issues caused by hyphens in variable names by replacing all user-defined variables with
X1, X2, etc.
Downloads
patrick
released this
2017-11-17 19:33:21 +01:00
| 4 commits to develop since this release
Changes
- new command-line interface based on
plasp commands:
plasp translate: translate PDDL and SAS to ASP facts (replaces former, plain plasp calls)plasp normalize: normalize PDDL to plasp’s custom PDDL formatplasp check-syntax: check the syntax of PDDL specificationsplasp beautify: cleanly format PDDL specifications
- new output format to accommodate for new PDDL features
Features
- extended PDDL 3.1 support:
- arbitrarily nested expressions in preconditions, effects, and goal description (via derived predicates)
- universal and existential quantifiers
- disjunctions
- conditional effects
- implications
- equality (parser only)
- new output option
--log-level to control which status messages to show
- new basic option
--warnings-as-errors to abort program execution upon warnings (replaces --warning-level)
- new compatibility mode for parser to support more legacy domains
- new parser option
--parsing-mode to specify whether to apply strict or compatibility parsing rules
Internal
- PDDL parser reimplemented from scratch in stand-alone
pddl library
- removes dependency to Boost
Downloads
patrick
released this
2016-09-02 15:46:14 +02:00
| 374 commits to develop since this release
Bug Fixes
- fixes incorrect output format of conditional effects with SAS
- fixes parsing issue with unexpected whitespaces in SAS files
Downloads
patrick
released this
2016-08-18 15:55:51 +02:00
| 398 commits to develop since this release
Features
- 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
Bug Fixes
- fixes minor formatting issues in SAS translation
- fixes issue with unsupported expression negations
Downloads
patrick
released this
2016-08-14 17:35:23 +02:00
| 428 commits to develop since this release
Features:
- unified translation format for SAS and PDDL files
- documentation of
plasp’s output format
Bug Fixes:
- fixes minor formatting issues in SAS translation
Downloads
patrick
released this
2016-06-14 19:23:08 +02:00
| 503 commits to develop since this release
Features
- 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
--language to explicitly specify input language
- new command-line option
--warning-level to treat warnings as errors or to ignore warnings
- new command-line option
--color to autodetect, enable, or disable color output
Bug Fixes
- fixes bug in translation of SAS axiom rules
Downloads
patrick
released this
2016-05-24 16:31:05 +02:00
| 759 commits to develop since this release
Features
- parses SAS files created with Fast Downward
- experimental translation from SAS to ASP facts
Downloads