Parameter estimation tool based on DiVinE