GitHub repository: sebdumancic/loreleai
Primary language: Python
Description: A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis