configurable name of top-level constraint #107
Description
Make the name of the top-level constraint configurable, so that one can write more than one constraint in a single file without having conflicting names.
{{ message }}
Make the name of the top-level constraint configurable, so that one can write more than one constraint in a single file without having conflicting names.