Cette bibliothèque open source permet d'apprendre des fonctions booléennes à partir d'exemples positifs. Elle implémente un algorithme glouton pour inférer une hypothèse sous forme de termes booléens en forme normale disjonctive (DNF). L'objectif est de caractériser les comportements possibles d'un système à partir d'un échantillon de données positives, en produisant une approximation de la fonction cible inconnue. L'outil est particulièrement utile pour la modélisation de systèmes discrets et l'analyse de données binaires.