Axel Vannoorenberghe

Cannot build mp++ 0.9

8

Hi, I'm trying to install the version 0.9 of mp++ to make piranha work but I meet some problems to build the former. It's related to the issue https://github.com/bluescarni/piranha/issues/150?_pjax=%23js-repo-pjax-container#issuecomment-809443201 ....

Cannot find z3++.h

1

Hi, I followed the steps to install SMTPlan (z3 and piranha) but once I arrive at the make command I have this error : `SMTPlan/include/SMTPlan/z3++.h:27:9: fatal error: z3++.h: No such...