DiffAttackOnU2 Step 1: Generate a CVC model. Step 2: Call the minisat solver to solver the CVC model.