Search:
Search Results
Results: 1 - 2 of 2
Page:
1
sci-mathematics/why3
Platform for deductive program verification
sci-libs/pslibrary
A collection of input files for the ld1.x atomic code which is distributed with the Quantum ESPRESSO package. It allows the generation of PAW data-sets or US pseudopotentials, scalar relativistic or fully relativistic, for several elements.
Results: 1 - 2 of 2
Page:
1