Send a message to DReal