@hackage/abcBridge0.11

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.