Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

encoding_lists_using_msol_over_strings [2007/05/16 00:08]
vkuncak
encoding_lists_using_msol_over_strings [2008/05/15 13:01] (current)
vkuncak
Line 7: Line 7:
 How to encode How to encode
   * doubly-linked lists   * doubly-linked lists
-  * cyclic lists+  * cyclic lists: http://​lara.epfl.ch/​~kuncak/​jahob/​ds/​CircularList/​
  
 === References === === References ===
 
encoding_lists_using_msol_over_strings.txt · Last modified: 2008/05/15 13:01 by vkuncak
 
© EPFL 2018 - Legal notice