Skip to content

Small library to compute maximal sharing of OCaml datastructures.

License

Notifications You must be signed in to change notification settings

ppedrot/ocaml-compactor

Repository files navigation

This library uses Hopcroft algorithm to minimize Coq file objects.
It is adaptable to any OCaml structure easily.

Article describing the algorithm and its justification (in French):
http://hal.archives-ouvertes.fr/hal-00779752/

Hopcroft implementation is taken from:
http://arxiv.org/abs/0802.2826

About

Small library to compute maximal sharing of OCaml datastructures.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published