Lines Matching defs:solver