/PaD-SATSolving

Sampling Configurations From Software Product Lines Via Probability-aware Diversification (PaD) and SAT Solving

GNU General Public License v3.0GPL-3.0

Watchers