Skip to content

plasp 3.0.2
Compare
Choose a tag to compare
@pluehne pluehne released this 18 Aug 13:57
· 397 commits to master since this release
v3.0.2
b44c04d

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
Assets 2
Loading