| Designed for use with JDepend and Ant. |
| [summary] [packages] [cycles] [explanations] |
| Package | Total Classes | Abstract Classes | Concrete Classes | Afferent Couplings | Efferent Couplings | Abstractness | Instability | Distance |
|---|---|---|---|---|---|---|---|---|
| org.sat4j | 6 | 0 | 6 | 0 | 5 | 0 | 1 | 0 |
| org.sat4j.core | 7 | 1 | 6 | 8 | 1 | 0.14 | 0.11 | 0.75 |
| org.sat4j.minisat | 1 | 0 | 1 | 1 | 8 | 0 | 0.89 | 0.11 |
| org.sat4j.minisat.constraints | 14 | 3 | 11 | 1 | 6 | 0.21 | 0.86 | 0.07 |
| org.sat4j.minisat.constraints.card | 3 | 0 | 3 | 1 | 2 | 0 | 0.67 | 0.33 |
| org.sat4j.minisat.constraints.cnf | 8 | 0 | 8 | 2 | 3 | 0 | 0.6 | 0.4 |
| org.sat4j.minisat.constraints.pb | 7 | 2 | 5 | 2 | 4 | 0.29 | 0.67 | 0.05 |
| org.sat4j.minisat.core | 30 | 17 | 13 | 8 | 2 | 0.57 | 0.2 | 0.23 |
| org.sat4j.minisat.learning | 7 | 1 | 6 | 1 | 1 | 0.14 | 0.5 | 0.36 |
| org.sat4j.minisat.orders | 7 | 0 | 7 | 1 | 2 | 0 | 0.67 | 0.33 |
| org.sat4j.minisat.uip | 2 | 0 | 2 | 1 | 2 | 0 | 0.67 | 0.33 |
| org.sat4j.reader | 17 | 2 | 15 | 1 | 2 | 0.12 | 0.67 | 0.22 |
| org.sat4j.specs | 7 | 5 | 2 | 12 | 0 | 0.71 | 0 | 0.29 |
| org.sat4j.tools | 6 | 1 | 5 | 1 | 2 | 0.17 | 0.67 | 0.17 |