Rigid variables with new syntax for `Clet` constraint
Add support for rigid variables. We introduce a new syntax for the CLet constraint, which lets us deal with both flexible and rigid variables in the same constraint.
La vérification des quotas de chaque projet est mise en place en mode non bloquant. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
Quota verification is enabled for projects in non-blocking mode. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
Add support for rigid variables. We introduce a new syntax for the CLet constraint, which lets us deal with both flexible and rigid variables in the same constraint.