| [summary] [packages] [cycles] [explanations] |
| org.sat4j |
| org.sat4j.core |
| org.sat4j.minisat |
| org.sat4j.minisat.constraints |
| org.sat4j.minisat.constraints.card |
| org.sat4j.minisat.constraints.cnf |
| org.sat4j.minisat.constraints.pb |
| org.sat4j.minisat.core |
| org.sat4j.minisat.learning |
| org.sat4j.minisat.orders |
| org.sat4j.minisat.restarts |
| org.sat4j.minisat.uip |
| org.sat4j.opt |
| org.sat4j.reader |
| org.sat4j.reader.csp |
| org.sat4j.specs |
| org.sat4j.tools |
| Not Analyzed: java.awt |
| Not Analyzed: java.io |
| Not Analyzed: java.lang |
| Not Analyzed: java.lang.management |
| Not Analyzed: java.lang.reflect |
| Not Analyzed: java.math |
| Not Analyzed: java.net |
| Not Analyzed: java.util |
| Not Analyzed: java.util.zip |
| Not Analyzed: javax.xml.parsers |
| Not Analyzed: org.apache.commons.beanutils |
| Not Analyzed: org.apache.commons.cli |
| Not Analyzed: org.mozilla.javascript |
| Not Analyzed: org.sat4j.csp.xml |
| Not Analyzed: org.xml.sax |