Open ctpelok77 opened 3 months ago
It would be great to get the community help in finding the authors of the PDDLs and the generators and assign an (open-source) license to both.
@guicho271828 feel free to add here the list of domains with missing info.
It would be great to get the community help in finding the authors of the PDDLs and the generators and assign an (open-source) license to both.