adding to TautologyChecker, capability to translate PluginAnalyser fm
file to .dimacs file
The featuremodel being generated now account for version range
information based inter plugin dependency specifications