Outil open source dédié à l'évaluation et au benchmarking de moteurs de raisonnement logique et de systèmes de règles. Il permet de comparer les performances de différents systèmes de gestion de connaissances (ontologies, bases de données déductives) en simulant des charges de travail variées. Utilisé principalement par des chercheurs et développeurs en intelligence artificielle pour valider l'efficacité de leurs solutions.