Ce projet propose une méthode pour résoudre efficacement le problème d'optimisation Language-Free Acq en fournissant un réseau de contraintes optimal et cohérent, le cas échéant. Implémenté en Python, le programme prend en entrée un jeu de données d'apprentissage et génère une instance Partiel Max-Sat correspondante au format standard wcnf.