dReal, personal repo (please do not rebase on it)