popper-ilp (pypi): Popper
Keywords: inductive-logic-programming|program-induction|program-synthesis