abc-rs is used at run time in 1 crate.

Depender (with downloads and own rev deps) abc-rs version
240 rIC3 ^0.2