GitHub repository: potassco/clingo-lpx
Primary language: C++
Description: 🧮 A simplistic simplex solver for checking satisfiability of a set of equations.