bddrand

A simple front-end to the lutin Random toss machinary
Description

A simple front-end to the lutin Random toss machinary

Install
Published
20 Jul 2021
Sources
lutin.2.71.10.tgz
md5=4d07d1263dbc90ab18cbaec55a57dcfe
sha512=2e899aee5e44826827b3626771f7ce01241b1745d48f30b60404cc5cbaa44ac608920e9af3bf171275c429a8b823b3cee7542199b7c4c32919b6bb37e33bf8de
Dependencies
lutin
>= "2.71.10"
dune
>= "2.0"
Reverse Dependencies