A re-implementation of "Synthesis of Loop-free Programs" - View it on GitHub