TimoGuenther/explaining-sat-queries-for-spls

Artifacts for the 2017 master's thesis "Explaining Satisfiability Queries for Software Product Lines"

Java