I work with a cfengine installation that has grown organically and become quite complicated. Some stanzas use many classes, e.g., class1&(class2|class3)&!class4|class5
Is there some tool that would take a cfengine config and simplify it, similar to the simplification of logic circuits with boolean algebra?
Failing that, are there any tools for analyzing cfengine configurations? E.g., a class and object visualization tool might be helpful.
There's a new configuration management tool based on CFEngine that automates all the configurations. In a Web Interface, you define and parametrize the Directives you wish to see applied to group of nodes, and automagically, it generates CFEngine promises for these nodes.
Then the cf-agent running nodes will fetch these promises, apply them, and send back reports to the web interface.
You can find this tool, Rudder, here : http://www.rudder-project.org/
Disclaimer : I'm one of the developer of this tool
Nova, the commercial version of Cfengine, would help you analyse cfengine configuration, links between objects, files, etc.
However I do not know any tools that would help you simplify your cfengine configuration. A first step could be change your inputs/bundlesequence based on the host classes.
Or you could split your configurations files, having one set for some servers, another set for other servers, etc, but you'll have to maintain each of these sets of config files ...
Try the evolve thinking free promise library. It separates data from common promises. Making changes usually involves only editing a CSV file.
http://evolvethinking.com/evolve-thinkings-free-cfengine-library/