Fix is a simple OCaml module for computing the least solution of a system of monotone equations. Homepage: http://gallium.inria.fr/~fpottier/fix/
Vincent Laporte