Clover coverage report

All Packages

org.sat4j (0%)
org.sat4j.core (73,3%)
org.sat4j.minisat (97,9%)
org.sat4j.minisat.constraints (87,7%)
org.sat4j.minisat.constraints.card (60,2%)
org.sat4j.minisat.constraints.cnf (79,5%)
org.sat4j.minisat.constraints.pb (65,8%)
org.sat4j.minisat.core (73,2%)
org.sat4j.minisat.learning (90%)
org.sat4j.minisat.orders (76,5%)
org.sat4j.minisat.uip (100%)
org.sat4j.opt (0%)
org.sat4j.reader (21,7%)
org.sat4j.reader.csp (0%)
org.sat4j.specs (37,5%)
org.sat4j.tools (57,1%)