Hi, [CC: to Vegard Nossum, GSoC participant, and Bart Massey, who should have mentored the project] On Tue, Dec 14, 2010 at 6:34 PM, Yann E. MORIN <yann.morin.1998@xxxxxxxxxxxxxxx> wrote: > [...] > [4] SAT solver as GSoC 2010: > http://www.spinics.net/lists/linux-kbuild/msg02901.html > http://userweb.kernel.org/~vegard/gsoc2010/proposal-short.html > By the way, what is the status of the SAT solver? > Vegard or Bart, I guess you are the best placed to answer the question. Thanks, - Arnaud -- To unsubscribe from this list: send the line "unsubscribe linux-kbuild" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
