On Thu, Aug 13, 2009 at 14:37:54 -0400, Bill Nottingham <notting at redhat.com> wrote: > Joachim (joachim.frieben at googlemail.com) said: > > Moreover, it is even pulled in by basic packages like gnome-games (!). > > Well, you know, if you want to play sudoku, you *need* a linear algebra > package. ? Don't you need a sat solver?