Baxmc est un outil permettant de résoudre des problèmes d'optimisation combinatoire en utilisant des techniques avancées telles que l'analyse de symétries et la génération de clauses et de permutations. Il peut être utilisé de différentes manières, y compris via Docker ou Nix, et est open source sous licence CeCILL-B.

Nixpkgs est un ensemble de plus de 40 000 paquets logiciels pouvant être installés avec le gestionnaire de paquets Nix. Il implémente également NixOS, une distribution Linux purement fonctionnelle.

Ce projet vise à apprendre et à maîtriser l'utilisation de Nix, un gestionnaire de paquets et un outil de construction logicielle. Les membres de l'équipe ont suivi des tutoriels et des formations pour comprendre les concepts de base de Nix, tels que les expressions Nix et les dérivations Nix. Ils ont ensuite mis en pratique ces connaissances en créant des dérivations Nix pour des programmes C et en intégrant Nix dans un workflow existant.