Product Lines

Benchmark by Old Gringo