Add support of msvcr 19xx
Add support of python 3.7
Add support of Bounded Reals
Add support of Eclipse-CLP 7.0
