Python implementation of Brahma (Synthesis of Loop-free Programs, PLDI'11) - View it on GitHub