The abcBridge package

[maintain]

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

Properties

Versions0.10.0.0, 0.11, 0.11, 0.12, 0.14, 0.15
DependenciesabcBridge, aig, base (==4.*), containers, directory, vector [details]
LicenseBSD3
Copyright(c) 2010-2014 Galois Inc.
AuthorGalois Inc.
Maintainerjhendrix@galois.com
CategoryData
Source repositoryhead: git clone https://github.com/GaloisInc/abcBridge.git
Executableslong-test
UploadedWed Sep 17 20:42:30 UTC 2014 by RobertDockins

Modules

Flags

NameDescriptionDefaultType
enable-pthreadsTurn on multithreadingEnabledAutomatic

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

Downloads

Maintainers' corner

For package maintainers and hackage trustees