|
org.sat4j
(17%) org.sat4j.core (75,9%) org.sat4j.minisat (77,9%) org.sat4j.minisat.constraints (85,5%) org.sat4j.minisat.constraints.card (59,3%) org.sat4j.minisat.constraints.cnf (73,5%) org.sat4j.minisat.constraints.pb (73,6%) org.sat4j.minisat.core (71,1%) org.sat4j.minisat.datatype (11,7%) org.sat4j.minisat.learning (71,9%) org.sat4j.minisat.orders (68,9%) org.sat4j.minisat.reader (83,8%) org.sat4j.minisat.restarts (84,2%) org.sat4j.minisat.uip (71,4%) org.sat4j.opt (0%) org.sat4j.reader (15,9%) org.sat4j.reader.csp (4,8%) org.sat4j.specs (37,5%) org.sat4j.tools (15,5%) |