mormoassaf

> Hello Mormossaf, I would recommend installing through: https://github.com/AI-Planning/planutils > > Michael I already have fastdownward I needed PDDL+ working first

> Hi Michael, > hmm then not sure how it works exactly. I didn't see any instructions where it allows you to install SMTPlan+. Do you have instructions I can...