Boost symbolic features by linking in an open source solver - Messages