SoftVarE-Group/feature-model-benchmark

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Python
License
MIT License
Created over 2 years ago
Updated 3 months ago

SoftVarE-Group/feature-model-benchmark

SoftVarE-Group

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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.

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