homepage: https://github.com/m4lvin/HasCacBDD
changelog-type: ''
hash: ff9459d26adf1c8629f938c40b3cb165241ee7d6eec8c249357db1f147a019e0
test-bench-deps:
  base: ! '>=4.8'
  HasCacBDD: -any
  QuickCheck: ! '>2.4'
maintainer: malvin@w4eg.de
synopsis: Haskell bindings for CacBDD
changelog: ''
basic-deps:
  base: ! '>=4.8 && <5'
  process: ! '>=1.1'
  QuickCheck: -any
all-versions:
- '0.1.0.0'
author: Malvin Gattinger
latest: '0.1.0.0'
description-type: markdown
description: ! 'HasCacBDD

  =========


  [![Build Status](https://travis-ci.org/m4lvin/HasCacBDD.svg?branch=master)](https://travis-ci.org/m4lvin/HasCacBDD)


  Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic
  cache management.


  Original C++ code from <http://kailesu.net/CacBDD> and a C wrapper are included.

'
license-name: GPL-2

Update from Hackage at 2017-03-09T15:54:18Z
Update from Hackage at 2017-03-09T15:54:18Z
