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=adce547fae9b5648d902d91173bb787466a197f81610b76757424ab33980e625

sha512=dccce42254660831fbd45129718ce01d2a4fcf10d05fa40f10eb3be4e5c94300af7235cc88c76b2e5aff7a02b8a1e8e6150d2d3376d8b630911d1dc6247b7df6

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