cardinality constraints, distributed computing, Framework, modelling, propositional satisfiability, SAT platform.
