| Error Description | Line |
| 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. | 29 |
| Line has trailing spaces. | 31 |
| Commentaire javadoc manquant. | 35 |
| Commentaire javadoc manquant. | 37 |
| La méthode 'assuming' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 37 |
| Le paramètre p devrait être final. | 37 |
| Commentaire javadoc manquant. | 41 |
| La méthode 'propagating' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 41 |
| Le paramètre p devrait être final. | 41 |
| Commentaire javadoc manquant. | 45 |
| La méthode 'backtracking' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 45 |
| Le paramètre p devrait être final. | 45 |
| Commentaire javadoc manquant. | 49 |
| La méthode 'adding' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 49 |
| Le paramètre p devrait être final. | 49 |
| Commentaire javadoc manquant. | 53 |
| Le paramètre clause devrait être final. | 53 |
| Commentaire javadoc manquant. | 57 |
| Le paramètre clause devrait être final. | 57 |
| Commentaire javadoc manquant. | 61 |
| La méthode 'conflictFound' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 61 |
| Commentaire javadoc manquant. | 65 |
| La méthode 'solutionFound' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 65 |
| Commentaire javadoc manquant. | 69 |
| Commentaire javadoc manquant. | 72 |
| Commentaire javadoc manquant. | 75 |
| Le paramètre result devrait être final. | 75 |