← ABC: An Academic Industrial-Strength Verification Tool