Verification mecanique du solveur

Ce document racine est conserve pour compatibilite. La methode de verification maintenue, les patch tests, benchmarks, criteres d'acceptation et dossiers de preuve sont dans :

• docs/verification/mecanique.md ;
• docs/verification/tracabilite.md ;
• docs/verification/qualification.md ;
• docs/verification_manual.md.

Les resultats applicables sont regeneres par scripts/build_docs.py; aucune valeur de benchmark n'est maintenue dans ce fichier de redirection.