Ce projet est une étude de recherche en informatique qui suit les principes de la programmation littéraire. Il contient l'application `minisolver` et dépend du gestionnaire de paquets GNU Guix pour assurer la reproductibilité de l'étude. L'étude est écrite en Org mode, un outil de programmation littéraire, et combine l'étude elle-même avec tout le code source et les lignes directrices nécessaires pour la reproduire.