Modern ILP tools for a practitioner

[Paul Jurczak]

I just discovered the ILP and spent a few hours looking for modern tools suitable for a software engineer with some exposure to Logic Programming. I found a lot of abandonware and decades old software. I'm looking for recommendations or a link to a review of modern ILP tools, preferably with Python API and applicable to proportional analogy problems, e.g. ARC (https://lab42.global/arc/). It doesn't have to be "ILP for Dummies" level, but rudimentary documentation and a basic level of robustness would help.

[Paul Jurczak]

So far, I found Popper (https://github.com/logic-and-learning-lab/Popper/) and magicpopper (https://github.com/celinehocquette/magicpopper). I would appreciate any additions to this short list.