IBM/nl2ltl

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.