Popular repositories Loading

1. p2d p2d Public

   p2d compiles pseudo-boolean constraints in a d-DNNF

   Rust 1 1

2. 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

3. pseudo-boolean-uvl-encoder pseudo-boolean-uvl-encoder Public

   This project allows to encode uvl feature models in pseudo-boolean constraint logic.

   Java 1 1

4. 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

5. gvs gvs Public

   Java

6. editor-test editor-test Public