Fix/4/compile error - Githubissues

ssardina-research / app-trapper

Software for IJCAI17 paper on solving APP with dead-end reasoning

0 stars 0 forks source link

Closed ssardina closed 3 years ago

ssardina commented 3 years ago

Fixes #4

I added __TOOLDIR__ when we call LPG. Is that correct? We do not want to hard-code the path to LPG but I think that is missing to fill the %s?