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