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