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.12, 0.14, 0.15
Change log	None available
Dependencies	abcBridge, aig (>=0.2.1), base (>=4 && <5), 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
Category	Data
Source repo	head: git clone https://github.com/GaloisInc/abcBridge.git
Uploaded	by RobertDockins at 2015-01-30T00:43:19Z

Modules

[Index]

Data
- Data.ABC

Flags

Automatic Flags

Name	Description	Default
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

abcBridge-0.12.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

AaronTomb, KevinQuick, RobertDockins, galoisinc

For package maintainers and hackage trustees

edit package information