initialise constant to prove properties

Hi,

I want to know how i can initialise all the constants exist in my model to proove properties. All the constants in my model are identified by a name and the model that i will test is a large model. So it's to hard,to change the values of constants in each iteration of prooving properties.

Thanks.