Differences

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

Link to this comparison view

grasp [2016/11/18 15:59] (current)
ajrm created
Line 1: Line 1:
 +====== GRASP - Generic seaRch Algorithm for the Satisfiability Problem ======
 +
 +An open-source stable distribution of GRASP is available from [[https://​sites.google.com/​site/​satgrasp/​|here]].
 +
  
Print/export