HATP » hatponboard-lib

hatponboard freezes on certain domains. See enclosed.

Seems in fact that the system is just computing several plans that do not improve the solution so hatponboard does not give any output.

As to be thoroughly checked.