SoftVarE Group's repositories
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
emse-evaluation-sharpsat
Empirical evaluation for the EMSE journal extension "Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces"
Software-Engineering-2021-2022
Slides for the bachelor course on software engineering held at University of Ulm in 2021/2022
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.
BroTLibraryExample
Example Code for Using the SAT Encodings of BroT
Scientific-Writing
Slides for the lectures on scientific writing held at University of Ulm
Slides-of-the-SPL-Course
Released version of slides for the lecture on software product lines
ProfCalculator
An example project to illustrate coding guidelines, version control, and design patterns in a software engineering lecture in Ulm.
sat2024-as4moco-evaluation
Replication package for submission to SAT24 conference
uvl-playground
Web-based playground for trying out the Universal Variability Language
d4-oxide
A Rust wrapper around d4.
exploiting-ddnnfs-eval
Replication package for empirical evaluation on d-DNNFs for feature-model counting
fm-benchmark-evaluation
Computes various metrics for a given feature-model collection
fm-collection-replication-package
Replication Package for the literature survey on identifying a collection of feature models
glucose
The glucose SAT solver
mt-kahypar-sys
Rust bindings to Mt-KaHyPar.