package fix
a least fixed point computation library, using an efficient imperative algorithm
Install
Dune Dependency
Authors
Maintainers
Sources
fix-20130611.tar.gz
sha256=e07e9c964f6b9bc48171bd92fac3b1b591c904b61070e058ea232d1b34c314de
md5=056dec3341ef008458fa722ebf2e3c57
On This Page