@hackage/abcBridge0.10.0.0

Bindings for ABC, A System for Sequential Synthesis and Verification

Bindings for ABC focused on creating And-Inverter Graphs (AIG) and then performing synthesis and equivalence checking.