| Error Description | Line |
| Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ContradictionException. | 0 |
| Line has trailing spaces. | 3 |
| Line has trailing spaces. | 26 |
| La ligne contient un caractère tabulation. | 32 |
| La ligne contient un caractère tabulation. | 33 |
| La ligne contient un caractère tabulation. | 34 |
| Commentaire javadoc manquant. | 34 |
| La méthode 'model' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 34 |
| Le paramètre var devrait être final. | 34 |
| La ligne contient un caractère tabulation. | 35 |
| La ligne contient un caractère tabulation. | 36 |
| La ligne contient un caractère tabulation. | 38 |
| Commentaire javadoc manquant. | 38 |
| La méthode 'setExpectedNumberOfClauses' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 38 |
| Le paramètre nb devrait être final. | 38 |
| Line has trailing spaces. | 44 |
| Commentaire javadoc manquant. | 47 |
| La méthode 'getTimeout' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 47 |
| Line has trailing spaces. | 53 |
| Commentaire javadoc manquant. | 56 |
| La méthode 'toString' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 56 |
| Le paramètre prefix devrait être final. | 56 |
| Line has trailing spaces. | 62 |
| Commentaire javadoc manquant. | 66 |
| 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. | 66 |
| Le paramètre out devrait être final. | 67 |
| Le paramètre prefix devrait être final. | 67 |
| Commentaire javadoc manquant. | 71 |
| 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. | 71 |
| Le paramètre out devrait être final. | 71 |
| Le paramètre prefix devrait être final. | 71 |
| Commentaire javadoc manquant. | 75 |
| Line has trailing spaces. | 78 |
| Le paramètre solver devrait être final. | 80 |
| 'solver' masque un attribut. | 80 |
| Balise javadoc @param manquante pour 'solver'. | 80 |
| Line has trailing spaces. | 86 |
| Commentaire javadoc manquant. | 89 |
| La méthode 'newVar' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 89 |
| Line has trailing spaces. | 95 |
| Commentaire javadoc manquant. | 98 |
| La méthode 'newVar' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide. | 98 |
| Le paramètre howmany devrait être final. | 98 |
| Line has trailing spaces. | 104 |
| Commentaire javadoc manquant. | 107 |
| Line has trailing spaces. | 118 |
| Line has trailing spaces. | 128 |
| Line has trailing spaces. | 143 |
| Line has trailing spaces. | 152 |
| Line has trailing spaces. | 161 |
| Line has trailing spaces. | 170 |
| Line has trailing spaces. | 179 |
| Line has trailing spaces. | 188 |
| Line has trailing spaces. | 197 |
| Line has trailing spaces. | 210 |
| La ligne contient un caractère tabulation. | 217 |
| La ligne contient un caractère tabulation. | 218 |
| La ligne contient un caractère tabulation. | 219 |
| La ligne contient un caractère tabulation. | 220 |
| La ligne contient un caractère tabulation. | 221 |
| La ligne contient un caractère tabulation. | 222 |
| Line has trailing spaces. | 223 |
| Line has trailing spaces. | 224 |