ruby_abc is a ruby C extension intended to allow the use of ABC from Ruby. ABC is a system for sequential synthesis and verification, developped at the University of California, Berkeley. ABC website: http://people.eecs.berkeley.edu/~alanmi/abc/