plasp 3.1.1

Bug Fixes

• fixes ASP syntax issues caused by hyphens in variable names by replacing all user-defined variables with X1, X2, etc.

Checksums

plasp-3.1.1-linux-x86_64.tar.gz

algorithm	checksum
MD5	8e91fab6037466441d445e6bd7337bae
SHA-256	43f030559ac855d9a694350f44e6aec5a4d20bf34ce6af20fe2b7797267e8569
SHA-512	4fc7eab917e6305a00f8a209e85fc7b8e391cf667eb5dc60da716f551e9a02df2b267475a05506714aa235995f8dd61aee516c009970f8b6c383bae7b557b813

plasp-3.1.1-source.tar.gz

algorithm	checksum
MD5	cc893d8c74e0a804715ef642fbc79df2
SHA-256	021cdb3e329e2947efc050822fa58bcbc3031c2f876c00530e75595733ca5c77
SHA-512	0df9f6a29a9924664a8e41c8939a0702a8980168145f480dbfa56359f4203b1a799f47996eba445d9fc2e9fce884f0f4bd3a4d5a977f47bc7dce68e38d2ba027

plasp 3.1.0

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

Checksums

plasp-3.1.0-linux-x86_64.tar.gz

algorithm	checksum
MD5	81adc6c0f180f308f02ad5c9c05f70e9
SHA-256	933357fc16bd5103f8f5382c9ec7b47203c065a8def4a5c1e1cddbe61c3cb66a
SHA-512	4f984903769c8e4584c8f66b5be18f18904ede4fe08f0dffbd8ae9c8da611f49ade2d98a7f86bb4fd346f461d05f729b59c5b7cbf56ca9f29dc2e18d9a1ae248

plasp-3.1.0-source.tar.gz

algorithm	checksum
MD5	ec3e9b7ada4f09059f793387be67d262
SHA-256	1fda0b4a3f1f6322e44c38d65a55c6ce00548178d4ff31ac12db64f4f6727321
SHA-512	80fbe86bde9490d064f28ab60c7b0782568fe2356df6e24607b2342df453902161638070f14a721a0efbe6f34d2f1cdb7204dbba2c98408abf39642c24eb3c89

plasp 3.0.3

Bug Fixes:

• fixes incorrect output format of conditional effects with SAS
• fixes parsing issue with unexpected whitespaces in SAS files

plasp 3.0.2

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

plasp 3.0.2 RC 1

Features:

• unified translation format for SAS and PDDL files
• documentation of plasp’s output format

Bug Fixes:

• fixes minor formatting issues in SAS translation

plasp 3.0.1

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

plasp 3.0.0

Features:

• parses SAS files created with Fast Downward
• experimental translation from SAS to ASP facts