MTIDD linking problem with older versions of GCC (4.9 and 5.3) #348
Description
It happens since MTIDD was added. I have only seen this issue under linux machines with older versions of GCC (4.9 and 5.3).
Instead of linking statically, dReal links against the dynamic version. Then dReal fails to run.
A workaround is to add $DREAL_HOME/build/external/src/MTIDD to LD_LIBRARY_PATH.