https://polysml.github.io/model/installation/
How To install polySML