org.sat4j.minisat.constraints.card
Classes

AtLeast (75,7%) MaxWatchCard (58,6%) MinWatchCard (62,8%)