ILse Solibri Rule Extensions

Prerequisites

Assumes a standard Solibri Model Checker (SMC) installation. There's a platform-mac profile for Mac users.

Build instructions: Run maven with

mvn clean install

Usage

Run Solibri Office. Switch to the rule manager. If correctly installed, you will find a new rule set.

Implemented rules

• ILSE/CD1 Parametric severity clash detector