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

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