CheckStyle Audit
Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/reader/CardDimacsReader.java

Error DescriptionLine
Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ParseFormatException.0
Line has trailing spaces.14
Line has trailing spaces.22
Commentaire javadoc manquant.26
Le paramètre solver devrait être final.26
La ligne excède 80 caractères.71
La ligne excède 80 caractères.104