This repository has been moved to https://github.com/MathHubInfo/MoSIS_Jupyter_Kernel.