FFI Wrapper for "ABC: System for Sequential Logic Synthesis and Formal Verification"
https://bitbucket.org/alanmi/abc/overview
