patrick
/
plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

8 Releases 8 Tags

  • v3.1.0 7c02b46f7c

    plasp 3.1.0 Stable

    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 format
      • plasp check-syntax: check the syntax of PDDL specifications
      • plasp 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