Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs - View it on GitHub