Planutils Integration
haz opened this issue · 0 comments
haz commented
Would love to see a wrapped version that lets us do something like this:
$ planutils install nl2ltl
$ nl2ltl --input "At some point you need to either submit a paper or give up." --format spot
Formats could be spot
or pddl
or whatever. Example of the latter would be...
(:goal <>( (have_image Phenomenon4 thermograph0) && (have_image Star5 thermograph0) && (have_image Phenomenon6 thermograph0))))
...as found in this work.