nl2ltl
nl2ltl copied to clipboard
Planutils Integration
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.