a feature of a computer software program that predicts catalytic formulations and the chemical properties of solids