Labels

Issue is core/algorithm and not formalism specific

This will run the final sonar check in PRs.

If on a pull request, merging it to the master will not expect a bump in the version

Issue is mainly about SMT solvers

Issue is XCFA specific (not core or XSTS or other formalisms)

Issue is XSTS specific (not core or XCFA or other formalisms)