Should have some example code in this repo to add a new feature across the problems in a particular formalism. Possible first examples:
The first 2 could be done with the pddl library, while the latter 2 could be done by parsing the FastDownward output.