Pure-Lean LP certificate checker. No native deps; the standalone verifier from kim-em/soplex#50. - View it on GitHub