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.12, 0.14, 0.14, 0.15
DependenciesabcBridge, aig (>=0.2.3), base (==4.*), containers, directory, QuickCheck (>=2.7), random, tasty, tasty-hunit, tasty-quickcheck, tf-random, unix (>=2.7), vector [details]
LicenseBSD3
Copyright(c) 2010-2015 Galois Inc.
AuthorGalois Inc.
Maintainerjhendrix@galois.com, rdockins@galois.com
CategoryData
Source repositoryhead: git clone https://github.com/GaloisInc/abcBridge.git
Executableslong-test, find-segfault
UploadedThu Jul 30 23:26:38 UTC 2015 by RobertDockins

Modules

[Index]

Flags

NameDescriptionDefaultType
enable-extra-testsEnable building the long-test and find-segfault utility progamsDisabledAutomatic
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