Question
ModelCheck relations post regeneration
Does anyone know is it possible to add relations via Modelchecker but in post regeneration not just initial?

Does anyone know is it possible to add relations via Modelchecker but in post regeneration not just initial?

Enter your E-mail address. We'll send you an e-mail with instructions to reset your password.