5 Search Results
bddrand
A simple front-end to the lutin Random toss machinary
2.71.10
CECILL-2.1
Used by 0 other packages
ezdl
Easy dynamic linking of C functions from ocaml
2.71.10
CECILL-2.1
Used by 1 other packages
gbddml
The Verimag bdd library
2.71.10
CECILL-2.1
Used by 1 other packages
lustre-v6
The Lustre V6 Verimag compiler
6.103.3
CeCILL-2.1
Used by 1 other packages
lutin
Lutin: modeling stochastic reactive systems
2.71.10
CECILL-2.1
Used by 1 other packages