@hackage/abcBridge0.15

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

  • Maintainer

    jhendrix@galois.com, rdockins@galois.com

  • Dependencies (6)

  • 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