dReal, personal repo