package grenier

  1. Overview
  2. Docs
A collection of various algorithms in OCaml.

Install

Dune Dependency

Authors

Maintainers

Sources

grenier-0.7.tbz
sha256=c2ab40ae80bce5e48f940925dc594f0886c1e54281ed32f28902bea3a3fe5de9
md5=fea64f9534b5a99df7d53665692af0be

doc/grenier.valmari/Valmari/Minimize/States/index.html

Module Minimize.States

type t
type nonrec element = t Finite.element
val n : int
OCaml

Innovation. Community. Security.