poitin / Distiller

Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".
28Updated 2 years ago

Related projects

Alternatives and complementary repositories for Distiller