| 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. | 18 |
| Line has trailing spaces. | 22 |
| Commentaire javadoc manquant. | 26 |
| Commentaire javadoc manquant. | 28 |
| Commentaire javadoc manquant. | 30 |
| Commentaire javadoc manquant. | 32 |
| Commentaire javadoc manquant. | 34 |
| Le paramètre solver devrait être final. | 34 |
| Commentaire javadoc manquant. | 38 |
| 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. | 38 |
| Commentaire javadoc manquant. | 47 |
| 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. | 47 |
| Le paramètre howmany devrait être final. | 48 |
| Commentaire javadoc manquant. | 53 |
| 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. | 53 |
| Le paramètre nb devrait être final. | 54 |
| Commentaire javadoc manquant. | 60 |