Génération uniforme ou proche de l'uniformité de solutions pour de grandes formules de satisfiabilité est un problème théorique et pratique d'intérêt pour la communauté de test. Des travaux récents ont proposé deux algorithmes (Unigen et QuickSampler) pour un compromis entre temps d'exécution et garanties d'uniformité. Cette référence vise à fournir tous les modèles de fonctionnalités des bancs d'essai, des scripts Python pour exécuter des expériences, des scripts Python pour calculer des graphiques, des figures et des statistiques de ce document ainsi que d'autres, et des instructions pour réutiliser notre travail.

This project is a role designed to upgrade Ubuntu and Debian systems utilizing the apt package manager. It can be configured to reboot the machine after a new kernel is installed.

Le projet asdf-system-installer est un outil en ligne de commande permettant d'installer et de configurer automatiquement des systèmes informatiques. Il permet de gérer les dépendances et les configurations de manière centralisée, facilitant ainsi la maintenance et le déploiement de logiciels.

Ce projet gère les notifications pour un système modulaire hiérarchisé. Il permet de configurer les préférences d'envoi d'emails et d'associer des adresses emails aux unités.

Le plugin Admin Right Provider est un outil permettant de gérer les droits d'accès des utilisateurs au sein d'un système. Il offre la possibilité de définir des rôles et workgroups par défaut, ainsi que de configurer les niveaux d'accès.

Ce projet est un serveur mail développé par Picasoft. Il est composé d'un MTA (Mail Transfer Agent) et d'un MDA (Mail Delivery Agent) personnalisés selon les besoins de Picasoft. Il inclut également un exporter compatible avec Prometheus pour récupérer des métriques sur le MTA, telles que le nombre de mails envoyés et rejetés. La configuration se fait via les variables d'environnement de Compose et deux dossiers supplémentaires doivent exister : /DATA/docker/mail/opendkim et /DATA/docker/certs/mail.picasoft.net.

Ce projet permet la gestion de téléversement de fichiers directement dans une application web. Il est possible de configurer les répertoires de téléversement via le fichier upload.xml. Les fichiers doivent être compressés dans un fichier zip avec la même hiérarchie de répertoires et peuvent être téléversés via l'administration de plugin-upload.

Ce plugin permet de gérer l'authentification sur un site Lutece. Il doit être associé à un module d'authentification spécifique correspondant au système choisi : base de données, LDAP, OAuth, CAS... Des attributs peuvent être associés à l'utilisateur. Lors de l'authentification, certains attributs peuvent être définis par l'authentificateur. Il est possible de configurer des fournisseurs d'attributs externes qui fourniront les valeurs d'attributs pour l'utilisateur après l'authentification. Il est également possible de configurer des fournisseurs de rôles permettant d'attribuer un rôle (rôle en front office) à l'utilisateur connecté (une classe de fournisseur de rôle par défaut est disponible pour associer un rôle par défaut après l'authentification, configurée dans la base de données).

Propellor is a tool for configuring computers automatically, with a focus on IPANEMA's computer infrastructure. It simplifies the management of computer systems and ensures consistent configuration across all machines.

Ce projet génère un aperçu HTML des autorisations d'accès aux tables de données à partir des métadonnées Hasura. Il est utile pour comprendre et vérifier rapidement les autorisations configurées dans un système Hasura.