linear-inequality-system
SageMath package for linear inequality systems and certifying (un)solvability