Hi all, Systems should be sent in until 8th August? Seems too late compared to last year. Still I can't see anything resembling a deadline for solver registration. Cheers, -- Paulo Jorge Matos - pocm at sat inesc-id pt Web: http://sat.inesc-id.pt/~pocm Computer and Software Engineering INESC-ID - SAT Group