Explore @SoftVarE-Group Open Source projects

SoftVarE Group (@SoftVarE-Group)

SoftVarE-Group

Stars
70
Global Org. Rank 68,303 (Top 22 %)
Registered almost 4 years ago
Most used languages

TeX
36.4 %

Java
27.3 %

Python
18.2 %

Rust
9.1 %

HTML
9.1 %
Location 🇩🇪 Germany
Country Total Rank 15,060
Country Ranking

TeX
159

Rust
1,545

HTML
2,459

Java
5,072

Python
7,359

SlideTemplate

A beamer latex template for slides and lectures at University of Ulm

Course-on-Software-Product-Lines

Material for lectures on software product lines

BibTags

A collection of cleaned BibTeX entries and tags to be used with MibTeX

emse-evaluation-sharpsat

Empirical evaluation for the EMSE journal extension "Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces"

BroT

Source Code and Evaluation Data of the paper 'SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses'

Papers

Preprints of research published by the SoftVarE group enriched with PDF comments on findings after publication.

feature-model-benchmark

d-dnnf-reasoner

Software-Engineering-2021-2022

Slides for the bachelor course on software engineering held at University of Ulm in 2021/2022

BroTLibraryExample

Example Code for Using the SAT Encodings of BroT

Slides

Slides of scientific presentations on research published by the SoftVarE group

MibTeX

Minimalistic tool to manage your references with BibTeX

ThesisTemplate

A template for bachelor, master, or PhD theses based on a template by Roland Bless and on a template by Martin Kuhlemann. The template is available for theses in English and in German. Bugs and recommendations are welcome.

Slides-of-the-SPL-Course

Released version of slides for the lecture on software product lines

Scientific-Writing

Slides for the lectures on scientific writing held at University of Ulm

sat2024-as4moco-evaluation

Replication package for submission to SAT24 conference