add sat.add{Min|Max}Clause for conveniently encoding boolean cardinality constraints