*** Welcome to piglix ***

Set of linear inequalities

...