I'ved moved to here: http://www.dcs.shef.ac.uk/~sat/