I have a linear program without an objective function. That is, I am looking for a feasible solution to a given set of linear constraints. Is there a specific term for such problems? Likewise, for integer linear programs also, is there a precise term? How would it be different from a SAT/SMT problem?