| Error Description | Line |
| Import inutilisé - org.sat4j.minisat.core.LiteralsUtils.var. | 4 |
| Commentaire javadoc manquant. | 12 |
| La ligne contient un caractère tabulation. | 14 |
| Line has trailing spaces. | 15 |
| La ligne contient un caractère tabulation. | 15 |
| La ligne contient un caractère tabulation. | 16 |
| La ligne contient un caractère tabulation. | 17 |
| La ligne contient un caractère tabulation. | 19 |
| Commentaire javadoc manquant. | 19 |
| La ligne contient un caractère tabulation. | 21 |
| Commentaire javadoc manquant. | 21 |
| La méthode 'setObjectiveFunction' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 21 |
| Le paramètre obj devrait être final. | 21 |
| 'obj' masque un attribut. | 21 |
| La ligne contient un caractère tabulation. | 22 |
| La ligne contient un caractère tabulation. | 23 |
| La ligne contient un caractère tabulation. | 25 |
| Commentaire javadoc manquant. | 25 |
| La méthode 'init' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 25 |
| La ligne contient un caractère tabulation. | 26 |
| La ligne contient un caractère tabulation. | 27 |
| La ligne contient un caractère tabulation. | 28 |
| La ligne contient un caractère tabulation. | 29 |
| La ligne contient un caractère tabulation. | 30 |
| Il manque une espace avant '<'. | 30 |
| Il manque une espace après '<'. | 30 |
| Il manque une espace avant '>'. | 30 |
| La ligne contient un caractère tabulation. | 31 |
| La ligne contient un caractère tabulation. | 32 |
| La ligne contient un caractère tabulation. | 33 |
| La ligne contient un caractère tabulation. | 34 |
| La ligne contient un caractère tabulation. | 35 |
| La ligne contient un caractère tabulation. | 36 |
| La ligne contient un caractère tabulation. | 37 |
| La ligne contient un caractère tabulation. | 38 |
| L'instruction 'if' devrait utiliser des accolades ('{' et '}'). | 39 |
| La ligne contient un caractère tabulation. | 39 |
| La ligne contient un caractère tabulation. | 40 |
| La ligne contient un caractère tabulation. | 41 |
| La ligne contient un caractère tabulation. | 42 |
| La ligne contient un caractère tabulation. | 43 |
| La ligne contient un caractère tabulation. | 44 |