-
François Bobot authored
Warning since 7efae3f8 yices doesn't work with real since in assoc_mul_div a variable is the denominator. Yices refuse that.
8e207729
[A venir] Mise en place de quotas sur nos instances GitLab. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
[Coming soon] Quotas installation on our GitLab instances. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
Warning since 7efae3f8 yices doesn't work with real since in assoc_mul_div a variable is the denominator. Yices refuse that.