Timo Günther's repositories
explaining-sat-queries-for-spls
Artifacts for the 2017 master's thesis "Explaining Satisfiability Queries for Software Product Lines"
Language:PythonBSD-3-Clause000
Artifacts for the 2017 master's thesis "Explaining Satisfiability Queries for Software Product Lines"