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

8 Releases 8 Tags

RSS Feed
  • v3.1.1 31542c6adc
    Compare

    plasp 3.1.1 Stable

    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
  • v3.1.1-rc.1 4ec8b65eef
    Compare

    plasp 3.1.1 RC 1 Pre-Release

    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
  • v3.1.0 7c02b46f7c
    Compare

    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
  • v3.0.3 b72a17c190
    Compare

    plasp 3.0.3 Stable

    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
  • v3.0.2 b44c04d3c0
    Compare

    plasp 3.0.2 Stable

    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
  • v3.0.2-rc.1 4a2882711d
    Compare

    plasp 3.0.2 RC 1 Pre-Release

    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
  • v3.0.1 9af383d2f6
    Compare

    plasp 3.0.1 Stable

    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
  • v3.0.0 082235eaaf
    Compare

    plasp 3.0.0 Stable

    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