HasCacBDD alternatives and similar packages
Based on the "Data" category.
Alternatively, view HasCacBDD alternatives based on common mentions on social networks and blogs.
-
lens
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens -
semantic-source
Parsing, analyzing, and comparing source code across many languages -
-
text
Haskell library for space- and time-efficient operations over Unicode text. -
code-builder
Packages for defining APIs, running them, generating client code and documentation. -
unordered-containers
Efficient hashing-based container types -
compendium-client
Mu (渭) is a purely functional framework for building micro services. -
cassava
A CSV parsing and encoding library optimized for ease of use and high performance -
-
holmes
A reference library for constraint-solving with propagators and CDCL. -
-
-
resource-pool
A high-performance striped resource pooling implementation for Haskell -
-
primitive
This package provides various primitive memory-related operations. -
binary
Efficient, pure binary serialisation using ByteStrings in Haskell. -
-
dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them -
discrimination
Fast linear time sorting and discrimination for a large class of data types -
audiovisual
Extensible records, variants, structs, effects, tangles -
reflection
Reifies arbitrary Haskell terms into types that can be reflected back into terms -
-
IORefCAS
A collection of different packages for CAS based data structures. -
-
dependent-map
Dependently-typed finite maps (partial dependent products) -
-
streaming
An optimized general monad transformer for streaming applications, with a simple prelude of functions -
-
-
orgmode-parse
Attoparsec parser combinators for parsing org-mode structured text! -
-
text-icu
This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text. -
uuid-types
A Haskell library for creating, printing and parsing UUIDs -
Download talent.io鈥檚 Tech Salary Report
Do you think we are missing an alternative of HasCacBDD or a related project?
|
Truly a developer鈥檚 best friend
sponsored
scoutapm.com
|
Popular Comparisons
-
CBORvsprotobuf
-
network-addressvsradius
-
textvsattempt
-
json-autotypevsbase58string
-
boringvsbinary
|
Clean code begins in your IDE with SonarLint
sponsored
www.sonarlint.org
|
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