ARLC, a probabilistic abductive reasoner for solving Raven's progressive matrices. - View it on GitHub