OBDDimal / variability.dev-database

Web service for sharing feature model instances and collaborative benchmarking.
7 stars 3 forks source link

Equivalence constraint is missing #414

Open LukasOsti opened 1 year ago

LukasOsti commented 1 year ago

In FeatureIDE it is possible to use an equivalence constraint between features. This can lead to feature models that are not possible to open and lead to errors.