A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
Repository from Github https://github.comsebdumancic/loreleaiRepository from Github https://github.comsebdumancic/loreleai