Jmap
a.a.40: systems of linear inequalities: determine whether a given point is in the solution set of a system of linear inequalities.