| Error Description | Line |
| Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ContradictionException. | 0 |
| Line has trailing spaces. | 25 |
| Line has trailing spaces. | 26 |
| Line has trailing spaces. | 32 |
| Commentaire javadoc manquant. | 35 |
| 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. | 35 |
| Line has trailing spaces. | 41 |
| Commentaire javadoc manquant. | 44 |
| 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. | 44 |
| Le paramètre prefix devrait être final. | 44 |
| Line has trailing spaces. | 50 |
| Commentaire javadoc manquant. | 54 |
| 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. | 54 |
| Le paramètre out devrait être final. | 54 |
| Le paramètre prefix devrait être final. | 54 |
| Commentaire javadoc manquant. | 58 |
| Line has trailing spaces. | 61 |
| Le paramètre solver devrait être final. | 63 |
| 'solver' masque un attribut. | 63 |
| Balise javadoc @param manquante pour 'solver'. | 63 |
| Line has trailing spaces. | 69 |
| Commentaire javadoc manquant. | 72 |
| 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. | 72 |
| Line has trailing spaces. | 78 |
| Commentaire javadoc manquant. | 81 |
| 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. | 81 |
| Le paramètre howmany devrait être final. | 81 |
| Line has trailing spaces. | 87 |
| Commentaire javadoc manquant. | 90 |
| Line has trailing spaces. | 101 |
| Line has trailing spaces. | 111 |
| Line has trailing spaces. | 126 |
| Line has trailing spaces. | 135 |
| Line has trailing spaces. | 144 |
| Line has trailing spaces. | 153 |
| Line has trailing spaces. | 162 |
| Line has trailing spaces. | 171 |
| Line has trailing spaces. | 180 |
| Line has trailing spaces. | 193 |