Repositories list

• FeatJAR-formula

  Public
  Propositional and first-order formulas

  Java

  •

  GNU Lesser General Public License v3.0

  •12•3•1•1•Updated Jan 27, 2025Jan 27, 2025

• FeatJAR-formula-analysis-sat4j

  Public
  Analysis of propositional formulas using Sat4j

  Java

  •

  GNU Lesser General Public License v3.0

  •11•0•1•0•Updated Jan 27, 2025Jan 27, 2025

• FeatJAR-base

  Public
  Common utilities and data structures

  Java

  •

  GNU Lesser General Public License v3.0

  •7•2•0•0•Updated Jan 27, 2025Jan 27, 2025

• FeatJAR-feature-model

  Public
  Feature models and configurations

  Java

  •

  GNU Lesser General Public License v3.0

  •5•0•3•1•Updated Jan 25, 2025Jan 25, 2025

• FeatJAR-formula-analysis-kissat

  Public
  Java

  •

  GNU Lesser General Public License v3.0

  •0•0•0•0•Updated Jan 25, 2025Jan 25, 2025

• FeatJAR

  Public
  Java libraries for feature-oriented software development

  Shell

  •

  GNU Lesser General Public License v3.0

  •7•2•1•1•Updated Jan 25, 2025Jan 25, 2025

• FeatJAR-formula-analysis-sharpsat

  Public
  Analysis of propositional formulas using sharpSAT

  Java

  •

  GNU Lesser General Public License v3.0

  •4•0•0•0•Updated Jan 25, 2025Jan 25, 2025

• FeatJAR-formula-analysis-javasmt

  Public
  Analysis of first-order formulas using JavaSMT

  Java

  •

  GNU Lesser General Public License v3.0

  •2•0•0•0•Updated Jan 25, 2025Jan 25, 2025

• FeatJAR-formula-analysis-ddnnife

  Public
  Java

  •

  GNU Lesser General Public License v3.0

  •1•0•0•0•Updated Jan 25, 2025Jan 25, 2025

• FeatJAR-util-evaluation

  Public
  Utilities for reproducible evaluations

  Java

  •

  GNU Lesser General Public License v3.0

  •1•0•0•0•Updated Jan 25, 2025Jan 25, 2025

• FeatJAR-formula-analysis-cadical

  Public
  Java

  •

  GNU Lesser General Public License v3.0

  •1•0•0•0•Updated Jan 25, 2025Jan 25, 2025

• FeatJAR-uvl

  Public
  Universal Variability Language

  Java

  •

  GNU Lesser General Public License v3.0

  •3•0•2•0•Updated Jan 25, 2025Jan 25, 2025

• FeatureIDE

  Public
  An extensible framework for feature-oriented software development

  Java

  •

  GNU Lesser General Public License v3.0

  •97•130•128•1•Updated Jan 4, 2025Jan 4, 2025

• featureide.github.io

  Public
  FeatureIDE website

  3•0•2•0•Updated Nov 18, 2024Nov 18, 2024

• FeatJAR-bin-ddnnife

  Public
  Java

  •

  GNU Lesser General Public License v3.0

  •0•0•0•0•Updated Jun 19, 2024Jun 19, 2024

• FeatJAR-gradle-plugins

  Public
  Reusable Gradle plugins for build logic

  GNU Lesser General Public License v3.0

  •3•0•0•1•Updated May 31, 2024May 31, 2024

• FeatJAR-bin-sharpsat

  Public
  Native bindings for sharpSAT

  Java

  •

  GNU Lesser General Public License v3.0

  •1•0•0•0•Updated May 31, 2024May 31, 2024

• FeatJAR-bin-cadical

  Public
  Java

  •

  GNU Lesser General Public License v3.0

  •0•0•0•0•Updated May 31, 2024May 31, 2024

• FeatJAR-bin-javasmt

  Public
  Native bindings for JavaSMT

  Java

  •

  GNU Lesser General Public License v3.0

  •1•0•0•0•Updated May 31, 2024May 31, 2024

• FeatJAR-cli

  Public
  Command Line Interface

  Java

  •

  GNU Lesser General Public License v3.0

  •1•0•0•0•Updated Mar 9, 2023Mar 9, 2023

• FeatJAR-formula-analysis-sat4j-sharpsat

  Public
  Analysis of propositional formulas using Sat4j and sharpSAT

  Java

  •

  GNU Lesser General Public License v3.0

  •0•0•0•0•Updated Feb 27, 2023Feb 27, 2023

• .github

  Public
  0•0•0•0•Updated Aug 26, 2022Aug 26, 2022

• uvl-parser

  Public
  Parser for the universal variability language

  Clojure

  •

  MIT License

  •5•0•0•0•Updated Aug 17, 2022Aug 17, 2022

• sharpSAT

  Public
  The #SAT solver sharpSAT

  C++

  •24•0•0•0•Updated Aug 15, 2022Aug 15, 2022

• fuji

  Public
  Fuji: An Extensible Compiler for Feature-Oriented Programming in Java

  Java

  •

  GNU Lesser General Public License v3.0

  •1•0•0•0•Updated Dec 14, 2016Dec 14, 2016

• Antenna

  Public
  Clone from antenna preprocessor

  Java

  •

  Other

  •1•0•0•0•Updated Nov 23, 2016Nov 23, 2016

• featurehouse

  Public
  language independent software composition and merging

  Java

  •28•2•0•0•Updated Jun 6, 2016Jun 6, 2016