Rholais/abc

ABC: System for Sequential Logic Synthesis and Formal Verification