The abcBridge package

[ Tags: bsd3, data, library ] [ Propose Tags ]

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

Properties

Versions 0.10.0.0, 0.11, 0.12, 0.14, 0.15
Dependencies abcBridge, aig, base (==4.*), directory, vector [details]
License BSD3
Copyright (c) 2010-2014 Galois Inc.
Author Galois Inc.
Maintainer jhendrix@galois.com
Category Data
Source repo head: git clone https://github.com/GaloisInc/abcBridge.git
Uploaded Wed Aug 6 23:37:26 UTC 2014 by RobertDockins
Distributions NixOS:0.15
Executables long-test
Downloads 1842 total (43 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user [build log]
All reported builds failed as of 2015-12-08 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Flags

NameDescriptionDefaultType
enable-pthreads

Turn on multithreading

DisabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

For package maintainers and hackage trustees