Bonjour,

mon fichier est de ce type :

c This Formular is generated by mcnf
c
c horn? no
c forced? no
c mixed sat? no
c clause length = 3
c
p cnf 50 218
42 28 33 0
1 -12 2 0
-15 -38 -12 0
-40 8 9 0
32 14 30 0

j'aurais besoin de récupérer la valeur 42 (qui est en fait la 1re valeur du fichier ; les lignes commençant par "c" et "p" étant des commentaires)

quelqu'un saurait-il me dire comment faire ??

merci beaucoup