LARA This is an old revision of the document! Snippet Synthesis Tool SniSy is interactive Snippet Synthesis tool.