Ce projet implémente plusieurs algorithmes pour la résolution de systèmes d'équations booléennes polynomiales. Il est distribué dans le domaine public et n'est pas garanti pour produire des résultats corrects. Il contient deux programmes : Monica et Moebius, qui utilisent respectivement l'algorithme de Crossbred et la transformation de Moebius pour la résolution.