patrick
/
plasp
Archived
1
0
Fork 0
  • v3.0.1 9af383d2f6

    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