Skip to content
@SoftVarE-Group

SoftVarE Group

The working group for Software Variability and Evolution (SoftVarE) was headed by Prof. Thomas Thüm from 2020-2024 and located at the University of Ulm, Germany

Pinned Loading

  1. Papers Papers Public

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

    5

  2. BibTags BibTags Public

    A collection of cleaned BibTeX entries and tags to be used with MibTeX. Moved to https://github.com/TUBS-ISF/BibTags

    TeX 7 8

  3. SlideTemplate SlideTemplate Public archive

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

    TeX 12 5

  4. Software-Engineering-2021-2022 Software-Engineering-2021-2022 Public

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

    3

Repositories

Showing 10 of 30 repositories
  • d4v2 Public Forked from crillab/d4v2

    CNF to d-DNNF compiler

    SoftVarE-Group/d4v2's past year of commit activity
    C++ 3 LGPL-2.1 18 5 2 Updated Oct 15, 2026
  • d-dnnf-reasoner Public

    A d-DNNF reasoner.

    SoftVarE-Group/d-dnnf-reasoner's past year of commit activity
    Rust 12 LGPL-3.0 4 9 9 Updated Oct 3, 2026
  • Papers Public

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

    SoftVarE-Group/Papers's past year of commit activity
    5 CC-BY-SA-4.0 0 2 0 Updated Sep 1, 2026
  • BibTags Public

    A collection of cleaned BibTeX entries and tags to be used with MibTeX. Moved to https://github.com/TUBS-ISF/BibTags

    SoftVarE-Group/BibTags's past year of commit activity
    TeX 7 LGPL-3.0 8 2 0 Updated Jun 4, 2026
  • feature-model-benchmark Public
    SoftVarE-Group/feature-model-benchmark's past year of commit activity
    Python 8 MIT 3 2 0 Updated Jan 12, 2026
  • 2LIKE-Server-Demo Public
    SoftVarE-Group/2LIKE-Server-Demo's past year of commit activity
    HTML 0 0 0 0 Updated Aug 20, 2025
  • as4moco Public

    Algorithm selection for model counting

    SoftVarE-Group/as4moco's past year of commit activity
    Java 0 LGPL-2.1 0 0 0 Updated Jun 30, 2025
  • d4-oxide Public

    A Rust wrapper around d4.

    SoftVarE-Group/d4-oxide's past year of commit activity
    Rust 1 LGPL-3.0 0 1 0 Updated Jun 26, 2025
  • uvl-playground Public

    Web-based playground for trying out the Universal Variability Language

    SoftVarE-Group/uvl-playground's past year of commit activity
    TypeScript 0 MIT 1 2 0 Updated Apr 24, 2025
  • uvl-smt Public
    SoftVarE-Group/uvl-smt's past year of commit activity
    Java 0 0 1 0 Updated Feb 4, 2025
View all repositories

Most used topics

d-dnnf model-counting