Explore projects

un outil qui regroupe les deux approaches. Il prend en entrée un fichier .dot modelisant le graphe ou un nombre n pour construire un graphe aleatoire avec n noeuds puis calcule la solution optimale .

Strategic (Timed) Computation Tree Logic

This repository contains pnml from the MCC (https://mcc.lip6.fr).

Fork of the Coq Num Analysis library to test Continuous Integration