Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
snisy [2011/01/18 16:00]
vkuncak
snisy [2011/01/18 16:01] (current)
vkuncak
Line 1: Line 1:
 ====== Snippet Synthesis Tool ====== ====== Snippet Synthesis Tool ======
  
-SniSy is interactive Snippet Synthesis ​tool.+SniSy is tool for interactive snippet synthesis.
  
  
 
snisy.txt · Last modified: 2011/01/18 16:01 by vkuncak
 
© EPFL 2018 - Legal notice