modelink Compilation: kompile modelink.k Running tests: krun tests/person-constraints.modelink Running scenarios: krun tests/person-scenarios.modelink modelink