Martin's and my implementation of the Fourier Motzkin Elimination Algorithm for solving systems of linear inequalities. This was a task in the lecture Linear and Integer Optimization in the summer term 2019. We received full marks.
(Repository created long after the implementation was done)