Bug#761364: abc -- A System for Sequential Synthesis and Verification

[Ruben Undheim <ruben.undheim@gmail.com>]

I would also like some feedback on what the binary executable should be named.

Is it ok to call it "abc" as it's called upstream or should we invent
a new name?

Thank you,
Ruben