Skip to content
Change the repository type filter

All

    Repositories list

    • Papers

      Public
      Preprints of research published by the SoftVarE group enriched with PDF comments on findings after publication.
      0520Updated Dec 19, 2025Dec 19, 2025
    • Material for lectures on software product lines
      TeX
      615200Updated Nov 25, 2025Nov 25, 2025
    • BibTags

      Public
      A collection of cleaned BibTeX entries and tags to be used with MibTeX. Moved to https://github.com/TUBS-ISF/BibTags
      TeX
      8620Updated Oct 22, 2025Oct 22, 2025
    • A d-DNNF reasoner.
      Rust
      4880Updated Oct 8, 2025Oct 8, 2025
    • HTML
      0000Updated Aug 20, 2025Aug 20, 2025
    • d4v2

      Public
      CNF to d-DNNF compiler
      C++
      11231Updated Aug 7, 2025Aug 7, 2025
    • as4moco

      Public
      Algorithm selection for model counting
      Java
      0000Updated Jun 30, 2025Jun 30, 2025
    • d4-oxide

      Public
      A Rust wrapper around d4.
      Rust
      0100Updated Jun 26, 2025Jun 26, 2025
    • Web-based playground for trying out the Universal Variability Language
      TypeScript
      1020Updated Apr 24, 2025Apr 24, 2025
    • uvl-smt

      Public
      Java
      0010Updated Feb 4, 2025Feb 4, 2025
    • Java
      0010Updated Jan 29, 2025Jan 29, 2025
    • Released version of slides for the lecture on software product lines
      0100Updated Dec 12, 2024Dec 12, 2024
    • Python
      3701Updated Dec 4, 2024Dec 4, 2024
    • Assembly
      0000Updated Sep 12, 2024Sep 12, 2024
    • pd4

      Public
      C++
      11100Updated Sep 12, 2024Sep 12, 2024
    • Replication package for empirical evaluation on d-DNNFs for feature-model counting
      Python
      0100Updated Jul 9, 2024Jul 9, 2024
    • Computes various metrics for a given feature-model collection
      Python
      0000Updated Jun 14, 2024Jun 14, 2024
    • Replication Package for the literature survey on identifying a collection of feature models
      0000Updated Jun 14, 2024Jun 14, 2024
    • SlideTemplate

      Public archive
      A beamer latex template for slides and lectures at University of Ulm
      TeX
      41200Updated Jun 12, 2024Jun 12, 2024
    • Replication package for submission to SAT24 conference
      Java
      0100Updated Mar 14, 2024Mar 14, 2024
    • BroT

      Public
      Source Code and Evaluation Data of the paper 'SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses'
      HTML
      0500Updated Mar 7, 2024Mar 7, 2024
    • C++
      0100Updated Mar 6, 2024Mar 6, 2024
    • Empirical evaluation for the EMSE journal extension "Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces"
      Python
      1601Updated Mar 6, 2024Mar 6, 2024
    • Rust bindings to Mt-KaHyPar.
      Rust
      0000Updated Dec 7, 2023Dec 7, 2023
    • An example project to illustrate coding guidelines, version control, and design patterns in a software engineering lecture in Ulm.
      Java
      8008Updated Nov 27, 2023Nov 27, 2023
    • glucose

      Public
      The glucose SAT solver
      C++
      21000Updated Sep 5, 2023Sep 5, 2023
    • 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.
      TeX
      0220Updated May 2, 2023May 2, 2023
    • Python
      0000Updated Oct 7, 2022Oct 7, 2022
    • Slides for the bachelor course on software engineering held at University of Ulm in 2021/2022
      0300Updated Jul 31, 2022Jul 31, 2022
    • Example Code for Using the SAT Encodings of BroT
      Java
      0200Updated Jun 9, 2022Jun 9, 2022