Popularity
2.3
Growing
Activity
3.9
-
2
2
0

Code Quality Rank: L5
Monthly Downloads: 22
Programming language: C++
License: GNU General Public License v2.0 only
Tags: Data    
Latest version: v0.1.0.3

HasCacBDD alternatives and similar packages

Based on the "Data" category.
Alternatively, view HasCacBDD alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of HasCacBDD or a related project?

Add another 'Data' Package

README

HasCacBDD

Release Hackage Build Status

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.

Getting Started

  1. Install C compilers and stack if necessary:

    apt install build-essential git curl -sSL https://get.haskellstack.org/ | sh

  2. Download, build and load the lastest version:

    git clone https://github.com/m4lvin/HasCacBDD.git cd HasCacBDD stack setup stack build stack exec ghci

    Note: stack ghci apparently does not work with the shared library. You really need stack build and then stack exec ghci.

  3. Play :-)

    位> import Data.HasCacBDD 位> var 5 Var 5 Top Bot 位> neg (var 5) Var 5 Bot Top 位> dis (neg (var 3)) (var 3) Top