create a feature model from a feature expression
create a feature model from a feature expression
create a feature model by loading a CNF file (proprietary format used previously by LinuxAnalysis tools)
load a standard Dimacs file as feature model
load a standard Dimacs file as feature model
default implementation
default implementation
does prefix all loaded names with CONFIG_ by default
create an empty feature model
create an empty feature model
common part for loading dimacs files
common part for loading dimacs files
returns name to id mapping, list of clauses, and maximal id declared/found
companion object to create feature models
TODO: this code is replicated from SATFeatureModel, integrate again