added libconfig_formula