Open sebdumancic opened 4 months ago
https://github.com/logic-and-learning-lab/ilp-experiments
all can be extended to other langauges
https://github.com/logic-and-learning-lab/ilp-experiments
all can be extended to other langauges