GitHub repository: rkaminsk/simplex
Primary language: C++
Description: A simplistic simplex solver for checking satisfiability of a set of equations.