Seidel's Algorithm: Linear-Complexity Linear Programming for Small-Dimensional Variables - View it on GitHub