@hackage abcBridge0.12

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 (1)

    @hackage/acme-everything

    • Package Flags

      enable-extra-tests
       (off by default)

      Enable building the long-test and find-segfault utility progams

      enable-pthreads
       (on by default)

      Turn on multithreading