@hackage / abcBridge

Bindings for ABC, A System for Sequential Synthesis and Verification

Latest0.15

About

Metadata

  • Last updated , by RobertDockins
  • License BSD-3-Clause
  • Maintained by: jhendrix@galois.com, rdockins@galois.com

  • Lottery factor: 0

Links

Installation

This package uses the Custom cabal build type

Package Flags

Use the -f option with cabal commands to enable 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

Readme

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