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

8 Releases 8 Tags

  • v3.0.2 b44c04d3c0

    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