abcBridge: Bindings for ABC, A System for Sequential Synthesis and Verification

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

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, 0.15
Change log None available
Dependencies abcBridge, aig (>=0.2.3), base (>=4 && <5), base-compat (>=0.6.0), containers, directory, QuickCheck (>=2.7), random, tasty, tasty-hunit, tasty-quickcheck, tf-random, unix (>=2.7), vector [details]
License BSD-3-Clause
Copyright (c) 2010-2015 Galois Inc.
Author Galois Inc.
Maintainer jhendrix@galois.com, rdockins@galois.com
Category Data
Source repo head: git clone https://github.com/GaloisInc/abcBridge.git
Uploaded by RobertDockins at 2015-12-12T00:23:29Z

Modules

[Index]

Flags

Automatic Flags
NameDescriptionDefault
enable-extra-tests

Enable building the long-test and find-segfault utility progams

Disabled
enable-pthreads

Turn on multithreading

Enabled

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

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees