package grenier

You can search for identifiers within the package.

in-package search v0.2.0

A collection of various algorithms in OCaml

Install

dune-project

Dependency

sha256=8fd22abf9f4589c206008654fa9eebb1cf4a58737ebb34138c6709520f36b75f

sha512=f60315eccfecaec9cb4c3bd020ef6f94d05ed6b13038109b904ead6e4e5662f4ed95415855b3c763293b762b696f1962045393fd592742d54cf5607d0ef2961a

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

Sourcemodule type DFA = sig ... end

Sourcemodule type INPUT = sig ... end

module Minimize
  (Label : Map.OrderedType)
  (In : INPUT with type label := Label.t) : 
  sig ... end