Pinned Repositories
usampling-exp
Uniform, random sampling: large study and results of different SAT-based samplers
maxcordy.github.io
mlvm
Machine learning for variability models
provelines
ProVeLines is a product line of verifiers for software product lines. This repository contains a new version of the tool, coded in C++.
SPLConqueror
SPL Conqueror is a library to learn the influence of configuration options of configurable software systems on non-functional properties.
maxcordy's Repositories
maxcordy/provelines
ProVeLines is a product line of verifiers for software product lines. This repository contains a new version of the tool, coded in C++.
maxcordy/maxcordy.github.io
maxcordy/mlvm
Machine learning for variability models
maxcordy/SPLConqueror
SPL Conqueror is a library to learn the influence of configuration options of configurable software systems on non-functional properties.