Repositories list

• BibTags

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

  TeX

  •

  GNU Lesser General Public License v3.0

  •8•7•2•0•Updated Jan 27, 2026Jan 27, 2026

• d-dnnf-reasoner

  Public
  A d-DNNF reasoner.

  reasoningfeature-modelsd-dnnf

  Rust

  •

  GNU Lesser General Public License v3.0

  •4•8•6•0•Updated Jan 20, 2026Jan 20, 2026

• feature-model-benchmark

  Public
  Python

  •

  MIT License

  •3•7•0•0•Updated Jan 12, 2026Jan 12, 2026

• Papers

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

  Creative Commons Attribution Share Alike 4.0 International

  •0•5•2•0•Updated Dec 19, 2025Dec 19, 2025

• 2LIKE-Server-Demo

  Public
  HTML

  •0•0•0•0•Updated Aug 20, 2025Aug 20, 2025

• d4v2

  Public
  CNF to d-DNNF compiler

  cnfmodel-countingd-dnnf

  C++

  •

  GNU Lesser General Public License v2.1

  •12•2•3•1•Updated Aug 7, 2025Aug 7, 2025

• as4moco

  Public
  Algorithm selection for model counting

  Java

  •

  GNU Lesser General Public License v2.1

  •0•0•0•0•Updated Jun 30, 2025Jun 30, 2025

• d4-oxide

  Public
  A Rust wrapper around d4.

  Rust

  •

  GNU Lesser General Public License v3.0

  •0•1•0•0•Updated Jun 26, 2025Jun 26, 2025

• uvl-playground

  Public
  Web-based playground for trying out the Universal Variability Language

  TypeScript

  •

  MIT License

  •1•0•2•0•Updated Apr 24, 2025Apr 24, 2025

• uvl-smt

  Public
  Java

  •0•0•1•0•Updated Feb 4, 2025Feb 4, 2025

• uvlgenerator

  Public
  Java

  •

  MIT License

  •0•0•1•0•Updated Jan 29, 2025Jan 29, 2025

• proj-ddnnf-eval

  Public
  Assembly

  •

  MIT License

  •0•0•0•0•Updated Sep 12, 2024Sep 12, 2024

• pd4

  Public
  C++

  •

  GNU Lesser General Public License v2.1

  •12•1•0•0•Updated Sep 12, 2024Sep 12, 2024

• exploiting-ddnnfs-eval

  Public
  Replication package for empirical evaluation on d-DNNFs for feature-model counting

  Python

  •

  GNU Lesser General Public License v3.0

  •0•1•0•0•Updated Jul 9, 2024Jul 9, 2024

• fm-benchmark-evaluation

  Public
  Computes various metrics for a given feature-model collection

  Python

  •

  MIT License

  •0•0•0•0•Updated Jun 14, 2024Jun 14, 2024

• fm-collection-replication-package

  Public
  Replication Package for the literature survey on identifying a collection of feature models

  MIT License

  •0•0•0•0•Updated Jun 14, 2024Jun 14, 2024

• SlideTemplate

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

  TeX

  •

  Creative Commons Zero v1.0 Universal

  •4•12•0•0•Updated Jun 12, 2024Jun 12, 2024

• sat2024-as4moco-evaluation

  Public
  Replication package for submission to SAT24 conference

  Java

  •

  GNU Lesser General Public License v2.1

  •0•1•0•0•Updated 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'

  dsleclipseconstraint+ 5case-studytu-braunschweigfeatureidebrotsat-encodings

  HTML

  •

  GNU Lesser General Public License v3.0

  •0•5•0•0•Updated Mar 7, 2024Mar 7, 2024

• IncrementalSharpSAT

  Public
  C++

  •

  MIT License

  •0•1•0•0•Updated Mar 6, 2024Mar 6, 2024

• emse-evaluation-sharpsat

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

  benchmarkbddmodel-counting+ 2sharpsatfeaturemodel

  Python

  •

  MIT License

  •1•6•0•1•Updated Mar 6, 2024Mar 6, 2024

• mt-kahypar-sys

  Public
  Rust bindings to Mt-KaHyPar.

  Rust

  •

  GNU Lesser General Public License v3.0

  •1•0•0•0•Updated Dec 7, 2023Dec 7, 2023

• ProfCalculator

  Public
  An example project to illustrate coding guidelines, version control, and design patterns in a software engineering lecture in Ulm.

  Java

  •

  GNU Lesser General Public License v3.0

  •8•0•0•8•Updated Nov 27, 2023Nov 27, 2023

• glucose

  Public
  The glucose SAT solver

  C++

  •

  MIT License

  •22•0•0•0•Updated Sep 5, 2023Sep 5, 2023

• ThesisTemplate

  Public
  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 i…

  TeX

  •0•2•2•0•Updated May 2, 2023May 2, 2023

• kc-for-fmanalysis-evaluation

  Public
  Python

  •

  GNU Lesser General Public License v3.0

  •0•0•0•0•Updated Oct 7, 2022Oct 7, 2022

• Software-Engineering-2021-2022

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

  Creative Commons Attribution Share Alike 4.0 International

  •0•3•0•0•Updated Jul 31, 2022Jul 31, 2022

• BroTLibraryExample

  Public
  Example Code for Using the SAT Encodings of BroT

  Java

  •

  GNU Lesser General Public License v3.0

  •0•2•0•0•Updated Jun 9, 2022Jun 9, 2022

• Scientific-Writing

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

  Creative Commons Attribution Share Alike 4.0 International

  •0•1•0•0•Updated Apr 13, 2022Apr 13, 2022

• Software-Engineering-2020-2021

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

  Creative Commons Attribution Share Alike 4.0 International

  •0•0•0•0•Updated Feb 11, 2022Feb 11, 2022