Bonjour,

Je suis débutante en C++ et je dois résoudre le problème 2-SAT à partir d'un fichier .cnf (DIMACS), j’ai besoin dans un premier temps de lire ce fichier et de stocker les données pour construire un graphe en C ++.

J'ai pensé d'abord à lire le fichier ligne par ligne, jeter la première ligne et la moitié de la deuxième pour enfin arriver à stocker le nombre de sommets, le nombre d'arêtes et les arcs, mais je n'ai pas arrivé à programmé tout ça!

Un exemple du fichier .cnf:

c
p cnf 3 4
1 -2 0
-1 3 0
1 3 0
-2 -3 0