mcrl2/pbes/tools/pbessolve.h

Include file:

#include "mcrl2/pbes/tools/pbessolve.h"