Presentation
RDOS est un ensemble d'outils pour la génération aléatoire d'objets combinatoires, qui réunit des méthodes récentes issues de différents auteurs.
Contenu
RDOS regroupe des algorithmes de génération aléatoire pour de nombreux objets combinatoires tels que les séquences, les arbres, les automates, les permutations...
Fondements algorithmiques
Les algorithmes sous-jacents se fondent sur des avancées récentes en génération aléatoire, dont certaines ont été appuyées par le projet ANR MAGNUM.