Presentation
RDOS is a suite of tool for the uniform and non-uniform random generation of combinatorial objects, regrouping implementations of state-of-the-art algorithms contributed by several authors.
Features
RDOS includes random generation algorithms for a large number of combinatorial objects, including sequences, trees, automata, permutations...
Algorithmic foundations
The underlying algorithms builds on recent advances in random generation, some of which were pushed within the ANR-funded MAGNUM project.