Ce projet propose une suite de benchmarks pour évaluer et comparer des outils de déduction automatique et de résolution de règles logiques. Il permet d'analyser les performances de solveurs comme InteGraal et OWLAPI dans des contextes de logique de règles, en fournissant des configurations standardisées et des fichiers de test reproductibles. Les résultats aident les chercheurs et développeurs à identifier les forces et faiblesses des différentes approches.