Lines Matching refs:solver