grenier 0.15

Libraries

This package provides the following libraries (via ocamlobjinfo):

grenier.balmap

Documentation:

• Balmap

grenier.baltree

Documentation:

• Mbt
• Bt2
• Bt1

grenier.binder_introducer

Documentation:

• Binder_introducer

grenier.binpacking

Documentation:

• Maxrects

grenier.congre

Documentation:

• Congre Creations of equality graph

grenier.dbseq

Documentation:

• Dbseq

grenier.doubledouble

Documentation:

• Doubledouble

grenier.fastdom

Documentation:

• Fastdom A library to compute graph dominators using "A Simple, Fast Dominance Algorithm" by Keith D. Cooper, Timothy J. Harvey, Ken Kennedy.

grenier.hll

Documentation:

• Hll_consts
• Hll An implementation of HyperLogLog probabilistic cardinality estimator.

grenier.jmphash

Documentation:

• Jmphash An implementation of "A Fast, Minimal Memory, Consistent Hash Algorithm"

grenier.orderme

Documentation:

• Order_list
• Order_indir
• Order_managed_interval
• Order_managed_indir
• Order_managed
• Order_interval

grenier.state_elimination

Documentation:

• State_elimination

grenier.strong

Documentation:

• Strong

grenier.trope

Documentation:

• Trope

grenier.valmari

Documentation:

• Partition
• Valmari Valmari is an automata minimization algorithm, described in "Fast brief practical DFA minimization" https://dl.acm.org/doi/10.1016/j.ipl.2011.12.004