disorder.ru

У Романова появился конкурент из Бразилии. Правда, насколько я понял, у него пока даже нет работающей программы для решения 3-SAT.