Command line interface

Nonetheless, as mentioned above, flamapy as a tool aims at being easily usable; therefore, it provides a simple command line interface that does not require learning the framework and enables the most common feature modelling operations. For example, if you want to execute a satisfiable operation just run:

flamapy satisfiable "path/to/feature/model"

All available operations could be read by running

flamapy -h

Operations implemented by several plugins take --backend sat|bdd|z3|auto, plus sdd, sharpsat or dnnf when installed (auto lets the query planner choose), -v prints which plugin produced the result, and `flamapy plan

` shows the planner's choice without running the operation. See [Choosing the backend (query planner)](/tool/choosing_backend). ## Supported operations However, below, you can find a comprehensive list of the supported operations for the command line and code snipets if you want to run them:

• All Feature Bounds
• Atomic Sets
• Attribute Optimization
• Average Branching Factor
• Backbone
• Commonality
• Configuration conflict
• Configuration repair
• Configurations
• Number of Configurations
• Configurations With N Features
• Conflict
• Core Features
• Count Leafs
• Coverage
• Covering array
• Dead Features
• Diagnosis
• Estimated number of configurations
• Explain dead feature
• Explain false optional
• Explain void model
• False Optional Features
• Feature Ancestors
• Feature Bounds
• Feature explanation
• Feature Inclusion Probability
• Filter
• Homogeneity
• Language Level
• Leaf Features
• Max Depth
• Metrics
• Minimal corrections
• Minimum configuration
• Product distribution
• Pure Optional Features
• Sample reduction
• Sampling
• Satisfiable
• Satisfiable Configuration
• T-wise sampling
• Unique Features
• Variability
• Variant Features
• Variation Points