isLazy

Whether Solver.solve should stream solutions on demand as the returned Sequence is consumed (true), or compute the whole (bounded) solution set eagerly before returning (false, see isEager).