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