Bibliothèque Python dédiée à l'apprentissage de la frontière de Pareto entre deux ensembles fermés dans des espaces multidimensionnels. Elle permet de déterminer la séparation entre un ensemble croissant et son complément décroissant en utilisant des oracles externes. Applications principales : optimisation multi-critères, synthèse de paramètres pour des prédicats monotones, et analyse de signaux temporels.