https://www.solibri.com/download-solibri-model-checker-trial/step=2
https://www.graphisoft.co.jp/jp/downloads/SolibriModelChecker/smc_9_8.pdf