solver for maximum clique problem