Popular repositories Loading

1. ma-eval ma-eval Public

   This repository contains the code to encode pseudo-boolean constraints in cnf and in pseudo boolean constraints for the evaluation of my masters thesis.

   Java 1

2. 2020WS-SWT-Calculator 2020WS-SWT-Calculator Public

   Forked from SoftVarE-Group/ProfCalculator

   An example project to illustrate coding guidelines, version control, and design patterns in a software engineering lecture in Ulm.

   Java

3. gvs gvs Public

   Java

4. editor-test editor-test Public

5. uvl-parser-pbc-printing uvl-parser-pbc-printing Public

   Forked from Universal-Variability-Language/uvl-parser

   The default uvl parser with the ability to print the feature model to pseudo-boolean constraints

   ANTLR

6. java-fm-metamodel-pbencoding java-fm-metamodel-pbencoding Public

   Forked from Universal-Variability-Language/java-fm-metamodel

   The default uvl parser with the ability to print the feature model to pseudo-boolean constraints

   Java