@hackage abcBridge0.11

Bindings for ABC, A System for Sequential Synthesis and Verification

Categories
License
BSD-3-Clause
Maintainer
jhendrix@galois.com
Links
Versions
- 0.15 Sat, 12 Dec 2015
- 0.14 Thu, 30 Jul 2015
- 0.12 Fri, 30 Jan 2015
- 0.11 Wed, 17 Sep 2014
- 0.10.0.0 Wed, 6 Aug 2014

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

Installation
Custom
In your cabal file:
Dependencies (0)
Dependents (1)
@hackage/acme-everything

Package Flags

enable-pthreads

(on by default)

Turn on multithreading