Shared LP vocabulary (Problem, Options, Solution, Certificate) plus the LPBackend record. Pure Lean. Part of the kim-em/soplex family. - View it on GitHub