Bonjour,
dans le cadre d'un projet d'étude (en démonstration automatique), j'ai besoin d'une bibliothèque d'algorithmique des graphes en C (en gros avec une structure de donnée efficace déjà implémenté et le calcul des composantes connexes et probablement d'autres).

J'ai également besoin de l'implémentation d'un algorithme d'unification.

Si vous savez ou je peux me procurer ceci, je vous en remercie d'avance

Charly