Update README.md - Githubissues

IBM / lemming

Human in the loop plan selection

Apache License 2.0

7 stars 1 forks source link

Closed jkeskingvillage closed 9 months ago

TathagataChakraborti commented 9 months ago

@jkeskingvillage do we need this patch anymore?

jkeskingvillage commented 9 months ago

Yes. This is for (C++) compiling a submodule for NL2LTL.

jkeskingvillage commented 9 months ago

Just resolved a merge conflict.