org.sat4j.minisat.constraints.card
Classes

AtLeast (67,7%) MaxWatchCard (48,4%) MinWatchCard (64,9%)