Anfonwch hwn fel neges destun: Accelerating invariant generation