bddrand 2.71.15

Libraries

This package provides the following libraries (via dune):

bddrand

Documentation:

• BddRandom A simple front-end to the lutin Random toss machinary
• Dimacs

Dependencies: lutin