QMaxSAT (Q-dai MaxSAT solver) version 0.21: This is a Partial MaxSAT solver based on glucose 2.0. This uses cardinality constraints from O.Balileux and Y.Boufkhad, Efficient CNF encoding of Boolean cardinality constraints.