Skip to content

Conversation

@BvH19
Copy link

@BvH19 BvH19 commented Oct 17, 2025

  • collects statistics over trees, feature models, their constraints, and configurations
  • visualization of some statistics, as pop-ups and pdf exports
  • new input and output formats for analysis results: CSV (parse only), JSON, YAML
  • conversion between feature model file formats: can parse UVL, XML; can write UVL, XML, DOT
  • conversion between configuration (boolean assignment list) file formats: can parse BIN, CSV, DIMACS; can write: BIN, CSV, DIMACS, LIST (Variable List and Literal List)
  • user interaction via command line UI (see --help for command information)

Almekkawi and others added 30 commits October 6, 2025 16:51
compuational classes
feat: added options for counting different type of atoms
test: Added a test for the computational class
OperatorDistribution and AverageConstraintSize including simple tests
the formula analysis part.
feat: Added counting for True and False instances in the class
AtomsCount.
test: modified the tests slightly to account for the changes in the
class AtomsCount.
… so that it does not count Reference class
…top features", "leaf features", "tree depth"
BvH19 and others added 30 commits October 16, 2025 16:40
Amendment: invalidPDFPath() test now works under Linux and Windows!
Class providing Test data used in multiple tests
Removed unnecessary semicolon in ConfigurationFormatConversion.java
Merge of changes for imlementing visualization functionality into printStatistics
…o be consistant with ConfigurationFormatConversion
style: renaming of FormatConversion to FeatureModelFormatConversion
style: final change to camelCase
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants