lutin

Lutin: modeling stochastic reactive systems
IN THIS PACKAGE

Libraries

This package provides the following libraries (via dune):

lutin

Documentation:

Dependencies: polka, num, rdbg, camlidl, str, unix, ezdl, gbddml, gmp