Links for p-vs-np-library