Send a message to CDCL