Allow the addition of soft cardinality constraints
The MaxSat decorator allows the user to add hard and soft clauses. It also allows the user to add hard cardinality constraints.
To be complete, it would be nice to have also the possibility to add soft cardinality constraints: http://forge.ow2.org/forum/message.php?msg_id=24229