hackage/abcBridge0.15

Bindings for ABC, A System for Sequential Synthesis and Verification

no readme available