Martin Bauer's repositories
cinema-docs
iOS-App to manage your personal movie collection.
Language:HTML000
Language:Dockerfile000
SPLConqueror
SPL Conqueror is a library to learn the influence of configuration options of configurable software systems on non-functional properties.
Language:C#GPL-2.0000
solver-repl-java
REPL for Java Solvers
Language:Java000
solver-repl-cxx
REPL for C++ Solver
Language:C++000
thor-avm
Attributed Variability Models: Outside the Comfort Zone
Language:Java000