@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.

  • Installation

    Custom

  • Dependencies (0)

  • Dependents (0)

  • Package Flags

      enable-pthreads
       (on by default)

      Turn on multithreading