| Package | Total Classes | Abstract Classes | Concrete Classes | Afferent Couplings | Efferent Couplings | Abstractness | Instability | Distance |
| org.sat4j | 15 | 2 | 13 | 0 | 21 | 0.13 | 1 | 0.13 |
| org.sat4j.core | 7 | 1 | 6 | 10 | 5 | 0.14 | 0.33 | 0.52 |
| org.sat4j.minisat | 1 | 0 | 1 | 1 | 11 | 0 | 0.92 | 0.08 |
| org.sat4j.minisat.constraints | 23 | 4 | 19 | 2 | 9 | 0.17 | 0.82 | 0.01 |
| org.sat4j.minisat.constraints.card | 3 | 0 | 3 | 2 | 6 | 0 | 0.75 | 0.25 |
| org.sat4j.minisat.constraints.cnf | 12 | 1 | 11 | 4 | 6 | 0.08 | 0.6 | 0.32 |
| org.sat4j.minisat.constraints.pb | 21 | 5 | 16 | 2 | 10 | 0.24 | 0.83 | 0.07 |
| org.sat4j.minisat.core | 37 | 20 | 17 | 10 | 7 | 0.54 | 0.41 | 0.05 |
| org.sat4j.minisat.learning | 9 | 2 | 7 | 2 | 3 | 0.22 | 0.6 | 0.18 |
| org.sat4j.minisat.orders | 8 | 0 | 8 | 2 | 7 | 0 | 0.78 | 0.22 |
| org.sat4j.minisat.restarts | 3 | 0 | 3 | 3 | 2 | 0 | 0.4 | 0.6 |
| org.sat4j.minisat.uip | 2 | 0 | 2 | 2 | 4 | 0 | 0.67 | 0.33 |
| org.sat4j.opt | 7 | 1 | 6 | 3 | 6 | 0.14 | 0.67 | 0.19 |
| org.sat4j.reader | 17 | 1 | 16 | 1 | 14 | 0.06 | 0.93 | 0.01 |
| org.sat4j.reader.csp | 23 | 6 | 17 | 1 | 7 | 0.26 | 0.88 | 0.14 |
| org.sat4j.specs | 8 | 6 | 2 | 14 | 4 | 0.75 | 0.22 | 0.03 |
| org.sat4j.tools | 13 | 1 | 12 | 4 | 6 | 0.08 | 0.6 | 0.32 |
| java.awt | No stats available: package referenced, but not analyzed. |
| java.io | No stats available: package referenced, but not analyzed. |
| java.lang | No stats available: package referenced, but not analyzed. |
| java.lang.management | No stats available: package referenced, but not analyzed. |
| java.lang.reflect | No stats available: package referenced, but not analyzed. |
| java.math | No stats available: package referenced, but not analyzed. |
| java.net | No stats available: package referenced, but not analyzed. |
| java.util | No stats available: package referenced, but not analyzed. |
| java.util.zip | No stats available: package referenced, but not analyzed. |
| javax.xml.parsers | No stats available: package referenced, but not analyzed. |
| org.apache.commons.beanutils | No stats available: package referenced, but not analyzed. |
| org.apache.commons.cli | No stats available: package referenced, but not analyzed. |
| org.mozilla.javascript | No stats available: package referenced, but not analyzed. |
| org.sat4j.csp.xml | No stats available: package referenced, but not analyzed. |
| org.xml.sax | No stats available: package referenced, but not analyzed. |