Lines Matching defs:miniqp