Popular repositories Loading

1. uvl-lsp uvl-lsp Public

   Forked from Universal-Variability-Language/uvl-lsp

   Language server protocol for the Universal Variability Language (UVL)

   C

2. formula-analysis-sat4j formula-analysis-sat4j Public

   Forked from FeatureIDE/FeatJAR-formula-analysis-sat4j

   Analysis of propositional formulas using Sat4j

   Java

3. base base Public

   Forked from FeatureIDE/FeatJAR-base

   Common utilities and data structures

   Java

4. formula formula Public

   Forked from FeatureIDE/FeatJAR-formula

   Propositional and first-order formulas

   Java

5. util-evaluation util-evaluation Public

   Forked from FeatureIDE/FeatJAR-util-evaluation

   Utilities for reproducible evaluations

   Java