SolibriBatchSetup The HOK Solibri Batch Manager is designed to facilitate the use of 'Autorun' feature in Solibri Model Checker(SMC).