Fixpoint

Fixpoint is an OCaml library implementing a generic fixpoint engine. The interface is parameterized by the abstract domain on which fixpoint computations are performed.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element