Pour l'instant on a le Stable vers Sat terminé à mieux commenter. Pour Sat vers Stable, Sat vers 3Sat terminé avec un fichier temp avec les clauses. et deux Int dans le main avec le nombre de clauses et de littéraux. Donc reste à faire 3Sat vers Stable.
leemao/ProjetComplexiteP2
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|