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 Public

    An extensible framework for feature-oriented software development

    Java 132 101

  2. FeatJAR Public

    Java libraries for feature-oriented software development

    Shell 2 8

Repositories

Showing 10 of 27 repositories
  • FeatureIDE Public

    An extensible framework for feature-oriented software development

    Java 132 LGPL-3.0 101 127 1 Updated Apr 23, 2025
  • FeatJAR-formula Public

    Propositional and first-order formulas

    Java 3 LGPL-3.0 13 1 1 Updated Apr 17, 2025
  • FeatJAR-formula-analysis-sat4j Public

    Analysis of propositional formulas using Sat4j

    Java 0 LGPL-3.0 12 2 0 Updated Apr 14, 2025
  • FeatJAR Public

    Java libraries for feature-oriented software development

    Shell 2 LGPL-3.0 8 1 1 Updated Apr 14, 2025
  • FeatJAR-base Public

    Common utilities and data structures

    Java 2 LGPL-3.0 8 0 0 Updated Apr 11, 2025
  • FeatJAR-feature-model Public

    Feature models and configurations

    Java 0 LGPL-3.0 6 3 1 Updated Mar 25, 2025
  • FeatJAR-formula-analysis-kissat Public
    Java 0 LGPL-3.0 1 0 0 Updated Feb 27, 2025
  • FeatJAR-formula-analysis-sharpsat Public

    Analysis of propositional formulas using sharpSAT

    Java 0 LGPL-3.0 5 0 0 Updated Feb 27, 2025
  • FeatJAR-formula-analysis-javasmt Public

    Analysis of first-order formulas using JavaSMT

    Java 0 LGPL-3.0 3 0 0 Updated Feb 27, 2025
  • FeatJAR-formula-analysis-ddnnife Public
    Java 0 LGPL-3.0 2 0 0 Updated Feb 27, 2025
View all repositories