Computational aspects of density-functional theories of superconductors