SageMath package for elementary vectors (circuits and cocircuits of a matrix)
SageMath package for linear inequality systems and certifying (un)solvability