Detecting false-optional, dead and redundant constraints / features

OBDDimal / variability.dev-database

Web service for sharing feature model instances and collaborative benchmarking.

7 stars 3 forks source link

Closed Eixix closed 1 year ago

Eixix commented 2 years ago

[ ] Triggered via Coloring for now
[ ] Color nodes respectively (dead = red, core = blue, false-optional = orange) and switch coloring to this view

h3ssto commented 1 year ago

Via FeatureIDE Service