remote-control
Outil de contrôle à distance universel permettant de superviser et configurer des solveurs (SAT, PB ou CP) implémentant l'interface Universe. Il offre une interface graphique pour ajuster les paramètres des solveurs en temps réel, visualiser leurs statistiques dynamiques et explorer l'arbre de recherche. Destiné aux développeurs pour le débogage et aux utilisateurs finaux pour optimiser les performances des solveurs sur des problèmes spécifiques.
Cas d'utilisation métiers
- Configuration dynamique de solveurs : rechercher des initiatives proches
- Débogage de solveurs : rechercher des initiatives proches
- Visualisation de statistiques en temps réel : rechercher des initiatives proches
- Contrôle à distance de solveurs : rechercher des initiatives proches
- Optimisation de solveurs SAT/PB/CP : rechercher des initiatives proches
Cas d'utilisation fonctionnels
Outil utilisé
Description générée le jeudi 12 novembre 2026 à 16:55:53