Fix is a simple OCaml module for computing the least solution of a system of monotone equations. It is described in the paper Lazy Least Fixed Points in ML.

You can study the algorithm's interface and implementation online, or you can download the source code.

Fix is also available via OCaml's package manager, OPAM. Just type opam install fix.

FranšaisHome Email Last modified: January 06, 2017