Cardinality constraints Header: bill/sat/cardinality.hpp Functions at_least_one at_most_one_pairwise Header: bill/sat/incremental_totalizer_cardinality.hpp Functions create_totalizer increase_totalizer merge_totalizer extend_totalizer