AI implementation of the "Drill & Join: A Method for Exact Inductive Program Synthesis" paper by Remis Balaniuk. - View it on GitHub