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