NicolaiBongartz

I get the same errors while performing make as described in the description.

Doing a checkout to the commit removes the pexpr type error but others still remain. Is it possible that for this piranha commit we need an older smtplan commit as...

It might be an issue with the versions. Currently I have: fedora 28 libboost 1.66 cmake 3.11.2 gcc 8.1.1