| Error Description | Line |
| Il manque un caractère NewLine à la fin du fichier | 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. | 36 |
| Line has trailing spaces. | 38 |
| Commentaire javadoc manquant. | 41 |
| Commentaire javadoc manquant. | 43 |
| La variable 'starts' devrait être privée et avoir des accesseurs. | 43 |
| Commentaire javadoc manquant. | 45 |
| La variable 'decisions' devrait être privée et avoir des accesseurs. | 45 |
| Commentaire javadoc manquant. | 47 |
| La variable 'propagations' devrait être privée et avoir des accesseurs. | 47 |
| Commentaire javadoc manquant. | 49 |
| La variable 'inspects' devrait être privée et avoir des accesseurs. | 49 |
| Commentaire javadoc manquant. | 51 |
| La variable 'conflicts' devrait être privée et avoir des accesseurs. | 51 |
| Commentaire javadoc manquant. | 53 |
| La variable 'learnedliterals' devrait être privée et avoir des accesseurs. | 53 |
| Commentaire javadoc manquant. | 55 |
| La variable 'learnedbinaryclauses' devrait être privée et avoir des accesseurs. | 55 |
| Commentaire javadoc manquant. | 57 |
| La variable 'learnedternaryclauses' devrait être privée et avoir des accesseurs. | 57 |
| Commentaire javadoc manquant. | 59 |
| La variable 'learnedclauses' devrait être privée et avoir des accesseurs. | 59 |
| Commentaire javadoc manquant. | 61 |
| La variable 'rootSimplifications' devrait être privée et avoir des accesseurs. | 61 |
| Commentaire javadoc manquant. | 63 |
| La variable 'reducedliterals' devrait être privée et avoir des accesseurs. | 63 |
| Commentaire javadoc manquant. | 65 |
| La variable 'changedreason' devrait être privée et avoir des accesseurs. | 65 |
| Commentaire javadoc manquant. | 67 |
| La variable 'reduceddb' devrait être privée et avoir des accesseurs. | 67 |
| Commentaire javadoc manquant. | 69 |
| 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. | 69 |
| Commentaire javadoc manquant. | 85 |
| 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. | 85 |
| Le paramètre out devrait être final. | 85 |
| Le paramètre prefix devrait être final. | 85 |
| Commentaire javadoc manquant. | 106 |
| La méthode 'toMap' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 106 |
| Il manque une espace avant '<'. | 106 |
| Il manque une espace après '<'. | 106 |
| Il manque une espace avant '>'. | 106 |
| Il manque une espace avant '<'. | 107 |
| Il manque une espace après '<'. | 107 |
| Il manque une espace avant '>'. | 107 |
| Il manque une espace avant '<'. | 107 |
| Il manque une espace après '<'. | 107 |
| Il manque une espace avant '>'. | 107 |
| Il manque une espace après '>'. | 107 |