Package org.sat4j.minisat.constraints.card

Implementations of cardinality constraints.

See: Description

Class Summary

Class	Description
AtLeast
MaxWatchCard
MinWatchCard

Package org.sat4j.minisat.constraints.card Description

Implementations of cardinality constraints. Cardinality constraints are implemented by counters and watched literals.