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.
Description générée le jeudi 12 novembre 2026 à 16:55:53