Package yosyshq-abc

• abc(1) — sequential logic synthesis and formal verification