@hackage abcBridge0.15

Bindings for ABC, A System for Sequential Synthesis and Verification

Categories
License
BSD-3-Clause
Maintainer
jhendrix@galois.com, rdockins@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

Installation
Custom
In your cabal file:
Dependencies (6)
- base >=4 && <5
- containers
- directory
- vector
- aig >=0.2.3
- base-compat >=0.6.0
Dependents (1)
@hackage/acme-everything

Package Flags

enable-extra-tests

(off by default)

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

enable-pthreads

(on by default)

Turn on multithreading

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