Clover coverage report

All Packages

org.sat4j (0%)
org.sat4j.core (72%)
org.sat4j.minisat (97,2%)
org.sat4j.minisat.constraints (87,2%)
org.sat4j.minisat.constraints.card (64%)
org.sat4j.minisat.constraints.cnf (80,3%)
org.sat4j.minisat.constraints.pb (87,3%)
org.sat4j.minisat.core (81,9%)
org.sat4j.minisat.learning (86,5%)
org.sat4j.minisat.orders (80,5%)
org.sat4j.minisat.uip (100%)
org.sat4j.reader (19,5%)
org.sat4j.specs (37,5%)
org.sat4j.tools (52,4%)