Just-in-Time Learning for Inductive Program Synthesis Artifact

This code is the implementation for the first version of the paper titled "Just-in-Time Learning for Inductive Program Synthesis" submitted to OOPSLA 2020 AEC. The paper's title has since then been changed to "Just-in-Time Learning for Bottom-up Enumerative Synthesis". The archive contains the main software artifact, a guide on how to evaluate the software artifact and the first version of the paper.