Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs". - View it on GitHub