| [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.uip |
| org.sat4j.opt |
| org.sat4j.reader |
| org.sat4j.reader.csp |
| org.sat4j.specs |
| org.sat4j.tools |
| Not Analyzed: org.apache.commons.beanutils |
| Not Analyzed: org.apache.commons.cli |