MiniCARD: An efficient cardinality solver based on MiniSAT