| Error Description | Line |
| Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ContradictionException. | 0 |
| Line has trailing spaces. | 3 |
| Commentaire javadoc manquant. | 22 |
| La ligne contient un caractère tabulation. | 23 |
| La ligne contient un caractère tabulation. | 25 |
| Line has trailing spaces. | 26 |
| 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. | 30 |
| Commentaire javadoc manquant. | 30 |
| La ligne contient un caractère tabulation. | 32 |
| Commentaire javadoc manquant. | 32 |
| La ligne contient un caractère tabulation. | 34 |
| Commentaire javadoc manquant. | 34 |
| La ligne contient un caractère tabulation. | 36 |
| Commentaire javadoc manquant. | 36 |
| Il manque une espace avant '<'. | 36 |
| Il manque une espace après '<'. | 36 |
| Il manque une espace avant '>'. | 36 |
| Il manque une espace avant '<'. | 36 |
| Il manque une espace après '<'. | 36 |
| Il manque une espace avant '>'. | 36 |
| Il manque une espace après '>'. | 36 |
| La ligne contient un caractère tabulation. | 38 |
| Commentaire javadoc manquant. | 38 |
| La ligne contient un caractère tabulation. | 40 |
| Commentaire javadoc manquant. | 40 |
| Le paramètre solver devrait être final. | 40 |
| La ligne contient un caractère tabulation. | 41 |
| La ligne contient un caractère tabulation. | 42 |
| La ligne contient un caractère tabulation. | 44 |
| Commentaire javadoc manquant. | 44 |
| 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. | 44 |
| La ligne contient un caractère tabulation. | 45 |
| La ligne contient un caractère tabulation. | 46 |
| La ligne contient un caractère tabulation. | 47 |
| La ligne contient un caractère tabulation. | 48 |
| La ligne contient un caractère tabulation. | 49 |
| La ligne contient un caractère tabulation. | 50 |
| La ligne contient un caractère tabulation. | 51 |
| La ligne contient un caractère tabulation. | 52 |
| La ligne contient un caractère tabulation. | 54 |
| Commentaire javadoc manquant. | 54 |
| 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. | 54 |
| La ligne contient un caractère tabulation. | 55 |
| Le paramètre howmany devrait être final. | 55 |
| La ligne contient un caractère tabulation. | 56 |
| La ligne contient un caractère tabulation. | 57 |
| La ligne contient un caractère tabulation. | 58 |
| La ligne contient un caractère tabulation. | 60 |
| Commentaire javadoc manquant. | 60 |
| 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. | 60 |
| La ligne contient un caractère tabulation. | 61 |
| Le paramètre nb devrait être final. | 61 |
| La ligne contient un caractère tabulation. | 62 |
| La ligne contient un caractère tabulation. | 63 |
| La ligne contient un caractère tabulation. | 64 |
| La ligne contient un caractère tabulation. | 65 |
| La ligne contient un caractère tabulation. | 67 |
| Commentaire javadoc manquant. | 67 |
| La ligne excède 80 caractères. | 68 |
| La ligne contient un caractère tabulation. | 68 |
| La ligne contient un caractère tabulation. | 70 |
| La ligne contient un caractère tabulation. | 71 |
| La ligne contient un caractère tabulation. | 72 |
| La ligne contient un caractère tabulation. | 73 |
| La ligne contient un caractère tabulation. | 75 |
| La ligne contient un caractère tabulation. | 76 |
| La ligne contient un caractère tabulation. | 77 |
| La ligne contient un caractère tabulation. | 78 |
| La ligne contient un caractère tabulation. | 80 |
| La ligne contient un caractère tabulation. | 81 |
| La ligne contient un caractère tabulation. | 83 |
| La ligne contient un caractère tabulation. | 84 |
| La ligne contient un caractère tabulation. | 85 |
| La ligne contient un caractère tabulation. | 86 |
| La ligne contient un caractère tabulation. | 87 |
| La ligne contient un caractère tabulation. | 88 |
| La ligne contient un caractère tabulation. | 90 |
| La ligne contient un caractère tabulation. | 91 |
| La ligne contient un caractère tabulation. | 92 |
| La ligne contient un caractère tabulation. | 94 |
| La ligne contient un caractère tabulation. | 95 |
| La ligne contient un caractère tabulation. | 96 |
| La ligne contient un caractère tabulation. | 98 |
| La ligne contient un caractère tabulation. | 100 |
| La ligne contient un caractère tabulation. | 101 |
| La ligne contient un caractère tabulation. | 102 |
| La ligne contient un caractère tabulation. | 103 |
| La ligne excède 80 caractères. | 104 |
| La ligne contient un caractère tabulation. | 104 |
| La ligne contient un caractère tabulation. | 105 |
| La ligne contient un caractère tabulation. | 106 |
| La ligne contient un caractère tabulation. | 107 |
| La ligne contient un caractère tabulation. | 108 |
| La ligne contient un caractère tabulation. | 110 |
| La ligne contient un caractère tabulation. | 112 |
| La ligne contient un caractère tabulation. | 113 |
| La ligne contient un caractère tabulation. | 114 |
| La ligne contient un caractère tabulation. | 115 |
| La ligne contient un caractère tabulation. | 116 |
| La ligne contient un caractère tabulation. | 117 |
| La ligne contient un caractère tabulation. | 118 |
| La ligne contient un caractère tabulation. | 119 |
| La ligne contient un caractère tabulation. | 120 |