HIGHS_MAJOR=1
HIGHS_MINOR=7
HIGHS_PATCH=1
#PRE_RELEASE=YES
