• # Formulation formelle

    Posté par (Mastodon) . En réponse au message programme et algo de tri. Évalué à 6.

    Je doute qu'un tel outil existe, le soucis serait dans la difficulté de donner formellement les contraintes.

    Pour avoir vu mon père faire ça pendant des années (ancien proviseur-adjoint en lycée technique), je sais que c'est un vrai casse-tête, bon courage !

    En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.