| Error Description | Line |
| Il manque un caractère NewLine à la fin du fichier | 0 |
| Line has trailing spaces. | 2 |
| Line has trailing spaces. | 4 |
| Line has trailing spaces. | 6 |
| Line has trailing spaces. | 8 |
| Line has trailing spaces. | 9 |
| Line has trailing spaces. | 11 |
| Line has trailing spaces. | 25 |
| Commentaire javadoc manquant. | 38 |
| Commentaire javadoc manquant. | 39 |
| Commentaire javadoc manquant. | 41 |
| La variable 'starts' devrait être privée et avoir des accesseurs. | 41 |
| Commentaire javadoc manquant. | 43 |
| La variable 'decisions' devrait être privée et avoir des accesseurs. | 43 |
| Commentaire javadoc manquant. | 45 |
| La variable 'propagations' devrait être privée et avoir des accesseurs. | 45 |
| Commentaire javadoc manquant. | 47 |
| La variable 'inspects' devrait être privée et avoir des accesseurs. | 47 |
| Commentaire javadoc manquant. | 49 |
| La variable 'conflicts' devrait être privée et avoir des accesseurs. | 49 |
| Commentaire javadoc manquant. | 51 |
| La variable 'learnedliterals' devrait être privée et avoir des accesseurs. | 51 |
| Commentaire javadoc manquant. | 53 |
| La variable 'learnedbinaryclauses' devrait être privée et avoir des accesseurs. | 53 |
| Commentaire javadoc manquant. | 55 |
| La variable 'learnedternaryclauses' devrait être privée et avoir des accesseurs. | 55 |
| Commentaire javadoc manquant. | 57 |
| La variable 'learnedclauses' devrait être privée et avoir des accesseurs. | 57 |
| Commentaire javadoc manquant. | 59 |
| La variable 'rootSimplifications' devrait être privée et avoir des accesseurs. | 59 |
| Commentaire javadoc manquant. | 61 |
| La variable 'reducedliterals' devrait être privée et avoir des accesseurs. | 61 |
| Commentaire javadoc manquant. | 63 |
| La variable 'changedreason' devrait être privée et avoir des accesseurs. | 63 |
| Commentaire javadoc manquant. | 65 |
| La variable 'reduceddb' devrait être privée et avoir des accesseurs. | 65 |
| Line has trailing spaces. | 66 |
| Commentaire javadoc manquant. | 67 |
| La méthode 'reset' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 67 |
| Il manque une espace avant '='. | 78 |
| Il manque une espace après '='. | 78 |
| Il manque une espace avant '='. | 79 |
| Il manque une espace après '='. | 79 |
| Il manque une espace avant '='. | 80 |
| Il manque une espace après '='. | 80 |
| Line has trailing spaces. | 82 |
| Commentaire javadoc manquant. | 83 |
| La méthode 'printStat' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 83 |
| Le paramètre out devrait être final. | 83 |
| Le paramètre prefix devrait être final. | 83 |