| Error Description | Line |
| Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ContradictionException. | 0 |
| La ligne excède 80 caractères. | 2 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 5 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 14 |
| Line has trailing spaces. | 19 |
| Line has trailing spaces. | 23 |
| Line has trailing spaces. | 34 |
| Line has trailing spaces. | 36 |
| Commentaire javadoc manquant. | 43 |
| Commentaire javadoc manquant. | 46 |
| La variable 'clauses' devrait être privée et avoir des accesseurs. | 46 |
| Commentaire javadoc manquant. | 48 |
| La variable 'dimacs' devrait être privée et avoir des accesseurs. | 48 |
| Commentaire javadoc manquant. | 51 |
| Commentaire javadoc manquant. | 53 |
| Le paramètre bufSize devrait être final. | 53 |
| 'bufSize' masque un attribut. | 53 |
| Commentaire javadoc manquant. | 57 |