Skip to content
@FeatureIDE

FeatureIDE Organization

FeatureIDE, FeatJAR, and other tools for feature-oriented software development
README.md
  • FeatureIDE: An extensible framework for feature-oriented software development
  • FeatJAR: Java libraries for feature-oriented software development

Pinned Loading

  1. FeatureIDE FeatureIDE Public

    An extensible framework for feature-oriented software development

    Java 130 97

  2. FeatJAR FeatJAR Public

    Java libraries for feature-oriented software development

    Shell 2 7

Repositories

Showing 10 of 27 repositories
  • FeatJAR-formula-analysis-sat4j Public

    Analysis of propositional formulas using Sat4j

    FeatureIDE/FeatJAR-formula-analysis-sat4j’s past year of commit activity
    Java 0 LGPL-3.0 9 1 0 Updated Jan 26, 2025
  • FeatJAR-formula Public

    Propositional and first-order formulas

    FeatureIDE/FeatJAR-formula’s past year of commit activity
    Java 3 LGPL-3.0 10 1 1 Updated Jan 25, 2025
  • FeatJAR-feature-model Public

    Feature models and configurations

    FeatureIDE/FeatJAR-feature-model’s past year of commit activity
    Java 0 LGPL-3.0 5 3 1 Updated Jan 25, 2025
  • FeatJAR-formula-analysis-kissat Public
    FeatureIDE/FeatJAR-formula-analysis-kissat’s past year of commit activity
    Java 0 LGPL-3.0 0 0 0 Updated Jan 25, 2025
  • FeatJAR Public

    Java libraries for feature-oriented software development

    FeatureIDE/FeatJAR’s past year of commit activity
    Shell 2 LGPL-3.0 7 1 1 Updated Jan 25, 2025
  • FeatJAR-formula-analysis-sharpsat Public

    Analysis of propositional formulas using sharpSAT

    FeatureIDE/FeatJAR-formula-analysis-sharpsat’s past year of commit activity
    Java 0 LGPL-3.0 4 0 0 Updated Jan 25, 2025
  • FeatJAR-formula-analysis-javasmt Public

    Analysis of first-order formulas using JavaSMT

    FeatureIDE/FeatJAR-formula-analysis-javasmt’s past year of commit activity
    Java 0 LGPL-3.0 2 0 0 Updated Jan 25, 2025
  • FeatJAR-formula-analysis-ddnnife Public
    FeatureIDE/FeatJAR-formula-analysis-ddnnife’s past year of commit activity
    Java 0 LGPL-3.0 1 0 0 Updated Jan 25, 2025
  • FeatJAR-util-evaluation Public

    Utilities for reproducible evaluations

    FeatureIDE/FeatJAR-util-evaluation’s past year of commit activity
    Java 0 LGPL-3.0 1 0 0 Updated Jan 25, 2025
  • FeatJAR-formula-analysis-cadical Public
    FeatureIDE/FeatJAR-formula-analysis-cadical’s past year of commit activity
    Java 0 LGPL-3.0 1 0 0 Updated Jan 25, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…