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.