HasCacBDD alternatives and similar packages
Based on the "Data" category.
Alternatively, view HasCacBDD alternatives based on common mentions on social networks and blogs.
-
-
-
-
-
-
-
-
-
compendium-client
DISCONTINUED. Mu (μ) is a purely functional framework for building micro services. -
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
streaming
An optimized general monad transformer for streaming applications, with a simple prelude of functions -
-
-
-
-
text-icu
This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text. -
-
-
InfluxDB – Built for High-Performance Time Series Workloads
Do you think we are missing an alternative of HasCacBDD or a related project?
README
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.
Getting Started
Install C compilers and stack if necessary:
apt install build-essential git curl -sSL https://get.haskellstack.org/ | sh
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 ghciapparently does not work with the shared library. You really needstack buildand thenstack exec ghci.Play :-)
λ> import Data.HasCacBDD λ> var 5 Var 5 Top Bot λ> neg (var 5) Var 5 Bot Top λ> dis (neg (var 3)) (var 3) Top