• Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Rust
  • License
    GNU Lesser Genera...
  • Created almost 3 years ago
  • Updated 2 months ago

Reviews

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

Repository Details

More Repositories

1

SlideTemplate

A beamer latex template for slides and lectures at University of Ulm
TeX
13
star
2

Course-on-Software-Product-Lines

Material for lectures on software product lines
TeX
11
star
3

BibTags

A collection of cleaned BibTeX entries and tags to be used with MibTeX
TeX
7
star
4

emse-evaluation-sharpsat

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

BroT

Source Code and Evaluation Data of the paper 'SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses'
HTML
5
star
6

Papers

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

feature-model-benchmark

Python
4
star
8

Software-Engineering-2021-2022

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

BroTLibraryExample

Example Code for Using the SAT Encodings of BroT
Java
2
star
10

Slides

Slides of scientific presentations on research published by the SoftVarE group
2
star
11

MibTeX

Minimalistic tool to manage your references with BibTeX
Java
2
star
12

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.
TeX
2
star
13

Slides-of-the-SPL-Course

Released version of slides for the lecture on software product lines
1
star
14

Scientific-Writing

Slides for the lectures on scientific writing held at University of Ulm
1
star
15

sat2024-as4moco-evaluation

Replication package for submission to SAT24 conference
Java
1
star