R

ruby_abc

A ruby C extension wrapping the Berkeley synthesis and verification program ABC.